Member predicate ArgumentNode :: argumentOf
Holds if this argument occurs at the given position in the given call.
predicate
argumentOf
(
DataFlowCall
call
,
ArgumentPosition
pos
)