Predicate Make::Private::summaryArgumentNode
Gets the summary node that represents the argument node used to transfer
flow into the caller when a value is written to the value returned by
call with kind rk.
Import path
import codeql.dataflow.internal.FlowSummaryImpl