let pp_vkind fmt = function
  | Formula.Model t -> pp_tau fmt t
  | Formula.Acsl (_t,ty) -> !Ast_printer.d_logic_type fmt ty