Added incomplete DefinitionVisitor and test input file