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 firstRead(Definition def, VariableReadAccessCfgNode read)