rename TraverseDFS --> VisitorDFS