let region_empty () = Z.empty