update ValidationVisitor