let fresh id vk =
match !context with
| [] ->
Wp_parameters.fatal "Bad context (for %S:%a)" id pp_vkind vk
| c::_ ->
F.fresh c.pool id
(match vk with
| Mdata.Vmodel t -> Model t
| Mdata.Vacsl t -> Acsl (tau_of_logic_type t,t)
)