Predicate Cached::adjacentReadPairSameVar
Holds if the read at cfn2 is a read of the same SSA definition def
as the read at cfn1, and cfn2 can be reached from cfn1 without
passing through another read.
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate adjacentReadPairSameVar(Definition def, Node cfn1, Node cfn2)