copy_interval_parent  299 src/intervals.c   copy_interval_parent (B, A);
copy_interval_parent  350 src/intervals.c   copy_interval_parent (B, A);