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