non-templated definition of non_contiguous_interval_order