ReducedStateSpace->getProbableTransitions seems to be implemented correctly now