While Statements to CFG
Note: better translation uses two destination vertices