The source project of this merge request has been removed.
Discard operations before the last deletall before sorting
The sort assumes there are no operations masked by a deleteall in the list, since it sorts the deletall first no matter where they were before. Enforce that assumption to avoid errors due to oblivious callers.