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