Delete random line.
Combine IntervalSet and IntegerDomain.