merge_interval_left  258 src/intervals.h extern INTERVAL merge_interval_left (INTERVAL);
merge_interval_left 1534 src/textprop.c 	    merge_interval_left (i);
merge_interval_left 1547 src/textprop.c 	prev_changed = i = merge_interval_left (i);