let included_zone_in_roots p r r2 = Imerge.exists (fun _k (q,r2s) -> F.p_and (A.equal p q) (exists (fun r' -> range_subset r r') r2s) ) r2.roots