let included_zone_in_cvars p r r2 = Vmerge.exists (fun _x (q,r2s) -> F.p_and (A.equal p q) (exists (fun r' -> range_subset r r') r2s) ) r2.cvars