Member predicate Node::isFinalValueOfParameter
Holds if this node represents the indirectionIndex’th indirection of
the value of an output parameter p just before reaching the end of a function.
predicate isFinalValueOfParameter(Parameter p, int indirectionIndex)