Ensure merge preserves partial order or progresses.