delete_interval  1295 src/intervals.c 	delete_interval (tree);
delete_interval  1401 src/intervals.c       delete_interval (i);
delete_interval  1416 src/intervals.c 	  delete_interval (i);
delete_interval  1457 src/intervals.c       delete_interval (i);
delete_interval  1472 src/intervals.c 	  delete_interval (i);
delete_interval  2339 src/intervals.c       delete_interval (i);
delete_interval  2395 src/intervals.c 	  delete_interval ((i)->left);
delete_interval  2401 src/intervals.c 	  delete_interval ((i)->right);