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