Generalized Label Reduction for Merge-and-Shrink Heuristics