Predicate signature MakeImpl::Impl::StageSig::callEdgeReturn
signature predicate callEdgeReturn(Call call, Callable c, RetNd ret, ReturnKindExt kind, Nd out, boolean allowsFieldFlow)signature predicate callEdgeReturn(Call call, Callable c, RetNd ret, ReturnKindExt kind, Nd out, boolean allowsFieldFlow)