Member predicate FunctionWithAnalyzedParameters::argumentPassing

Holds if p is a parameter of this function and arg is the corresponding argument.

predicate argumentPassing(Parameter p, Expr arg)