Class AstInducedCFG