Predicate Cached :: firstReadSameVarExt
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
firstReadSameVarExt
(
DefinitionExt
def
,
Node
cfn
)