====== While Statements to CFG ======

{{cc09:tr-while-cfg.png|Translating While to CFG}}

Note: better translation uses two destination vertices