Predicate PreSsa::adjacentReadPairSameVar
Import path
import semmle.code.csharp.controlflow.internal.PreSsa
predicate adjacentReadPairSameVar(AssignableRead read1, AssignableRead read2)
import semmle.code.csharp.controlflow.internal.PreSsa
predicate adjacentReadPairSameVar(AssignableRead read1, AssignableRead read2)