Add test for PHI elimination.