Introduce BoxRegionValues.toString().
When filtering results of model checking, take decomposing of the parameter space into account.