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