Begin code generation for control flow and Phis

Personally, I'd use a pattern match - just as good as an assert, imo.