Predicate Cached::lastRefBeforeRedefExt
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate lastRefBeforeRedefExt(DefinitionExt def, BasicBlock bb, int i, DefinitionExt next)import semmle.code.csharp.dataflow.internal.SsaImplpredicate lastRefBeforeRedefExt(DefinitionExt def, BasicBlock bb, int i, DefinitionExt next)