Predicate phiHasInputFromBlock
NB: This predicate should be cached.
Holds if inp is an input to the phi node phi along the edge originating in bb.
Import path
import semmle.go.dataflow.SsaImplpredicate phiHasInputFromBlock(PhiNode phi, Definition inp, BasicBlock bb)