[WIP] Begin code generation for control flow and Phis

Should first apply `andq` with a bitmask derived from the relation?