[WIP] Begin code generation for control flow and Phis

Wrong commit, but: You could hide that logic in a `ReturnExtr` with `unapply(Node): Option[Option[Node]]`