Predicate Make::Private::summaryArgumentNode
Holds if summary node arg is at position pos in a call targeting receiver.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate summaryArgumentNode(SummaryNode receiver, SummaryNode arg, ArgumentPosition pos)