Predicate Cached::firstReadSameVar
Holds if the value defined at SSA definition def can reach a read read,
without passing through any other read.
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate firstReadSameVar(Definition def, AssignableRead read)