Holds if there is a phi node for variable v
at the start of basic block
b
.
predicate
phi_node
(
StackVariable
v
,
BasicBlock
b
)