Member predicate FunctionWithAnalyzedParameters::mayReceiveArgument

Holds if p is a parameter of this function that may receive a value from an argument.