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