Support for if/else, with phi-node gen at merge points.