Minor code enhancements.
Don't re-compute already known probabilities when model-checking.
Print number of regions in synthesis results.
Merge branch 'synthesis' into develop

Conflicts:
	prism/src/pse/PSEModelChecker.java