delete_node      1206 src/intervals.c       parent = delete_node (i);
delete_node      1223 src/intervals.c       set_interval_left (parent, delete_node (i));
delete_node      1229 src/intervals.c       set_interval_right (parent, delete_node (i));