changed structure of PhiInstruction