add a LoggingTraverseVisitor for debugging.
clarify BasicShortestPathTree code.