Use a DenseMap instead of an std::map for the value numbering. This reduces the...