Predicate signature MakeImplCommon::CallContextSensitivityInputSig::reducedViableImplInReturnCand

Holds if flow returning from callable c to call call might return further and if this path may restrict the set of call sites that can be returned to.