let pp_vkind fmt = function
    | Mdata.Vmodel t -> Tau.pp_tau fmt t
    | Mdata.Vacsl ty -> !Ast_printer.d_logic_type fmt ty