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