Corrected logic in MarkovProbabilityCalculator for dealing with non-readonly successors in models