Class AstInducedCFG.AstBranchVisitor