let separated_roots r1 r2 = Imerge.forall (fun k (_,rs) -> separated_find k rs Imap.find r2.roots) r1.roots