Interface VerificationTypeVisitor