Predicate MakeImplCommon::CallContextSensitivity::PrunedViableImpl::viableImplNotCallContextReducedReverse
Holds if a return does not have a reduced set of viable call sites to
return to in call context ctx.
Import path
import codeql.dataflow.internal.DataFlowImplCommonpredicate viableImplNotCallContextReducedReverse(CallContextNoCall ctx)