Predicate Private::summaryOutNode
Holds if summary node out contains output of kind rk from call c.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplpredicate summaryOutNode(DataFlowCall c, SummaryNode out, ReturnKind rk)