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