Don't re-compute already known probabilities when model-checking.