Merge branch 'synthesis' into develop
PSEModelChecker: s/MIN/min/ && s/MAX/max/
s/PointSamples/SamplePoints/
Fix Milan's compilation error.
Merge branch 'synthesis' into develop
Minor code enhancements.
Merge branch 'synthesis' into develop

Conflicts:
	prism/src/pse/PSEModelChecker.java
Various small fixes.
Fix region decomposing.