let vkind_of_var x = match F.kind_of_var x with | Model t -> Mdata.Vmodel t | Acsl(_,c) -> Mdata.Vacsl c