let vkind_of_var x = match F.kind_of_var x with | Model t -> Formula.Model t | Acsl(t,c) -> Formula.Acsl (t,c)