Class AstTranslator.AstCFG