Predicate Make::phiHasInputFromBlockExt
NB: If this predicate is exposed, it should be cached.
Holds if inp is an input to the phi (read) node phi along the edge originating in bb.
Import path
import codeql.ssa.Ssapredicate phiHasInputFromBlockExt(DefinitionExt phi, DefinitionExt inp, BasicBlock bb)