====== Conferting If Statements to CFG ======

{{cc09:tr-if-cfg.png|Translating If to CFG}}

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