Predicate Cached::adjacentReadPairExt
Holds if the read at read2 is a read of the same SSA definition def
as the read at read1, and read2 can be reached from read1 without
passing through another non-pseudo read.
Import path
import codeql.ruby.dataflow.internal.SsaImplpredicate adjacentReadPairExt(DefinitionExt def, VariableReadAccessCfgNode read1, VariableReadAccessCfgNode read2)