Enhance the parametrised model-checking with decomposing of the parameter space.
Tidy up PSEModelChecker.
Better variable names in PSEModel.mvMult().
Funny fix of a funny bug.