Predicate Cached::lastReadSameVar
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate lastReadSameVar(Definition def, Node cfn)import semmle.code.csharp.dataflow.internal.SsaImplpredicate lastReadSameVar(Definition def, Node cfn)