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