string_slices: fix Is_Subrange so that any empty range is a subrange of any range