Member predicate AliasFunction::parameterEscapesOnlyViaReturn
Holds if the address passed to the parameter at the specified index escapes via the return
value of the function, but does not otherwise escape. See the comment for
parameterNeverEscapes
for an example.
predicate parameterEscapesOnlyViaReturn(int index)