Predicate DataFlowImplCommon::resolveReturn

predicate resolveReturn(CallContext cc, Callable callable, Call call)