Begin code generation for control flow and Phis