Minor refactor.
Make ModelCheckerResultRanged inherit from prism.Pair.
Enhance prism.Pair with ComparablePair.
Simple parameter space decomposition.