Holds if a phi node for v is needed at the beginning of basic block b.
Import path
import semmle.code.java.dataflow.SSA
predicate
phiNode
(
TrackedVar
v
,
BasicBlock
b
)