This patch introduces no functional changes.
It merely specialize WeightedBidirectionalGraph (rename it to CFLGraph) to fix its node type to be Value*. Such specialization help us get rid of the two redundant DenseMaps, one maps from Value* to integer and the other one maps from integer to Value*.
Nit: no else