Class AstTranslator.IncipientCFG