let region_union (fr1,mr1) (fr2,mr2) = 
    Z.union fr1 fr2 , M.region_union mr1 mr2