Member predicate ParameterNodeImpl :: isParameterOf
Holds if this node is the parameter of callable c at the
position ppos.
predicate
isParameterOf
(
DataFlowCallable
c
,
ParameterPosition
ppos
)