let included_ranges xs ys =
    forall (fun x -> exists (fun y -> range_subset x y) ys) xs