update insert_intervals.cc