let separated_ranges rs rs' =
    forall (fun r -> forall (range_disjoint r) rs') rs