Characteristic predicate PhiInstruction :: PhiInstruction
PhiInstruction
(
)