It used to be the case that Phis were in the main body of a basic block. This is no longer the case. But arguments simplification has a case for Phi when scanning the main list, which is likely wrong.
We got rid of this phase.