Member predicate Node::isFinalValueOfParameter

Holds if this node represents the value of an output parameter p just before reaching the end of a function.