C++: Add dataflow predicate for checking if a node is the final value of a parameter

C++: Add dataflow predicate for checking if a node is the final value of a parameter #31505