Conferting If Statements to CFG

Translating If to CFG

Note: better translation uses two destination vertices, analogously to Compilation as Tree Transformation