Predicate Cached::DispatchWithCallContext::reducedViableImplInReturn
Holds if flow returning from callable c to call call might return
further and if this path restricts the set of call sites that can be
returned to.
Import path
import codeql.ruby.dataflow.internal.DataFlowImplCommonpredicate reducedViableImplInReturn(DataFlowCallable c, DataFlowCall call)