Predicate Cached::firstReadExt
Holds if the value defined at SSA definition def can reach a read at read,
without passing through any other non-pseudo read.
Import path
import codeql.ruby.dataflow.internal.SsaImplpredicate firstReadExt(DefinitionExt def, VariableReadAccessCfgNode read)