Print parsed instead of raw solc-verify output

found error: ConditionError(function = `Counter.increment`, invariant = `count == __verifier_old_int(count) + 1`, location = `FunctionExit`, problem = `MightNotHold`)
found error: ModifyError(function = `Counter.increment`, field = `Counter.unrelated`)
found no errors