let region_union = Z.union