Class InducedCFG.BranchVisitor