Member predicate VariableTypeInference::FunctionWithAnalyzedParameters::argumentPassing

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

predicate argumentPassing(SimpleParameter p, Expr arg)