Member predicate SsaDefinition :: isPhiNode
Holds if this definition is a phi node for variable v
.
predicate
isPhiNode
(
StackVariable
v
)