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