(compare_string_intervals): New function.