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