range-set: satisfy non-empty ranges invariant