added ASTVisitor class

added setup for verification through a visitor