Predicate phiHasInputFromBlock
Import path
import semmle.code.csharp.dataflow.internal.SsaImplDefinition phiHasInputFromBlock(PhiNode phi, BasicBlock bb)import semmle.code.csharp.dataflow.internal.SsaImplDefinition phiHasInputFromBlock(PhiNode phi, BasicBlock bb)