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.SsaImpl
predicate
firstReadSameVar
(
Definition
def
,
Node
cfn
)