Predicate signature MakeImpl::Impl::MkStage::StageParam::viableImplCallContextReducedReverse
signature DataFlowCall viableImplCallContextReducedReverse(DataFlowCallable c, CcNoCall ctx)signature DataFlowCall viableImplCallContextReducedReverse(DataFlowCallable c, CcNoCall ctx)