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)Holds if p is a parameter of this function and arg is
the corresponding argument.
predicate argumentPassing(Parameter p, Expr arg)