let separated_cvars r1 r2 =
    Vmerge.forall
      (fun x (_,rs) -> separated_find x rs Vmap.find r2.cvars)
      r1.cvars