let pp_var_type fmt = function | Cv x -> !Ast_printer.d_var fmt x | Lv p -> !Ast_printer.d_logic_var fmt p | Prop -> Format.pp_print_string fmt "Prop"