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