Predicate LocalFlow::localFlowSsaInputFromRead
Holds if exprFrom is a last read of SSA definition def, which
can reach next.
Import path
import codeql.ruby.dataflow.internal.DataFlowPrivatepredicate localFlowSsaInputFromRead(ExprCfgNode exprFrom, DefinitionExt def, SsaInputDefinitionExtNode next)