intervals_equal_1  228 src/intervals.c   return intervals_equal_1 (i0, i1, false);
intervals_equal_1 2303 src/intervals.c       if (! intervals_equal_1 (i1, i2, true))