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