Debugging pattern match: Might work for just one case (like if-let). Seems our phi-nodes for chained IF's are totally broken