Class VerifyingVisitor