Insert interval

We assume [a, b][b+1, c] == [a, c].
Insert interval revised.

We assume [a, b][b+1, c] will not be merged into [a, c].