The simulator now runs to the point PS is in the TX_MM state.