Predicate PreSsa::implicitEntryDef
Import path
import semmle.code.csharp.controlflow.internal.PreSsa
predicate implicitEntryDef(Callable c, BasicBlock bb, SourceVariable v)
import semmle.code.csharp.controlflow.internal.PreSsa
predicate implicitEntryDef(Callable c, BasicBlock bb, SourceVariable v)