PotentiallyUnsafeNonEmptyOperation

Marks operations which may break non-emptiness invariants if used wrong. In most cases, it involves using mutable collections without copying the elements first.