LARA Conferting If Statements to CFG Note: better translation uses two destination vertices, analogously to Compilation as Tree Transformation