Exploding variables, which I understand to mean grouping variables related to the same constant expression, is very helpful.
Would it make sense to enable exploding more than one constant? To group related variables together in specs with many variables and constants.