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