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.dataflow.internal.DataFlowImplCommon
predicate reducedViableImplInReturn(DataFlowCallable c, DataFlowCall call)