LARA

While Statements to CFG

Translating While to CFG

Note: better translation uses two destination vertices