Teach InstructionSimplify about phi nodes. I chose to have it simply