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