Marker for a node that can be replaced by another node via global value numbering. A
leaf node can be replaced by another node of the same
type that has exactly the same
data values. A non-leaf node
can be replaced by another node of the same type that has exactly the same data values as
well as the same
inputs and
successors.