let pp_print_logic = TermLib.pp_print_logic