Performs value numbering analysis on the nodes in a control flow graph. Nodes
with identical value numbers are folded into one another so that common
(redundent) expressions are eliminated. Note that ValueNumbering works on the
SSAGraph for the CFG and not the CFG itself.
See Also:SSAGraph