Member predicate DataFlowPrivate::ArgumentNode::argumentOf

Holds if this argument occurs at the given position in the given call. The instance argument is considered to have index -1.

predicate argumentOf(Call call, int pos)