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