Class InducedCFG.PEIVisitor