DefinitionVisitor does things