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