let pp_root fmt = function | Cvar x -> !Ast_printer.d_var fmt x | Lvar lv -> !Ast_printer.d_logic_var fmt lv