Class ControlFlowGraph.AbstractCfgNodeTraversalCallback