If no phi existed in the original MIR and these introduced one, the
verifier would fail.
Details
Details
Diff Detail
Diff Detail
Event Timeline
Comment Actions
We should really just compute this property at some point (same for novregs), but that's for another day :).
LGTM.