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.DataFlowImplCommonpredicate reducedViableImplInReturn(Callable c, Call call)