Predicate signature MakeImplStage1::Stage1Output::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)