[WIP] Begin code generation for control flow and Phis

...then use `basicBlocks.keys` here