let included_roots r1 r2 =
    Imerge.forall
      (fun k (p,rs) -> included_find k p rs Imap.find r2.roots r2.bases)
      r1.roots