Comments for PSEModelBuilder.
DecompositionProcedure.{initialise -> initialiseModelChecking}
Comments for PSEModelChecker, other minor enhancements.
Comments for BoxRegion.
Many many comments and minor code enhancements.