[WIP] Begin code generation for control flow and Phis

dito