let included_cvars r1 r2 =
    Vmerge.forall
      (fun x (p,rs) -> included_find x p rs Vmap.find r2.cvars r2.bases)
      r1.cvars