set_interval_right  297 src/intervals.c 	set_interval_right (INTERVAL_PARENT (A), B);
set_interval_right  302 src/intervals.c   set_interval_right (B, A);
set_interval_right  348 src/intervals.c 	set_interval_right (INTERVAL_PARENT (A), B);
set_interval_right  357 src/intervals.c   set_interval_right (A, c);
set_interval_right  503 src/intervals.c       set_interval_right (interval, new);
set_interval_right  510 src/intervals.c       set_interval_right (new, interval->right);
set_interval_right  512 src/intervals.c       set_interval_right (interval, new);
set_interval_right 1229 src/intervals.c       set_interval_right (parent, delete_node (i));
set_interval_right 1503 src/intervals.c     set_interval_right (target, reproduce_tree (source->right, target));