Member predicate FunctionOutput::isParameterDerefOrQualifierObject
Holds if i >= 0 and isParameterDeref(i) holds for this is the value, or
if i = -1 and isQualifierObject() holds for this value.
predicate isParameterDerefOrQualifierObject(ParameterIndex i)