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"