Minor enhancement to the RIM to ensure the order of different types of transitions is non deterministic.