1Tests a regression in which simplification of a boolean selection could attempt
2to remove a Phi from the wrong instruction list.
3