Don't re-compute already known probabilities when model-checking.
Print number of regions in synthesis results.