Member predicate AbstractParameterNode::isParameterOf
Holds if this node is the parameter of c at the specified position. The
implicit this parameter is considered to have position -1, and
pointer-indirection parameters are at further negative positions.
predicate isParameterOf(DataFlowCallable c, ParameterPosition pos)