anchor.diff:                                                                   else pp_print_string fmt "("
                                                                    pp_open_hvbox fmt (-1)
                                                                    pp_print_string fmt "if "
  -                                                                 print_term 0 (hd args)
  +                                                                 print_term fmt 0 (hd args)
                                                                    pp_print_break fmt 0 0
                                                                    pp_print_string fmt " then "
  -                                                                 print_term 0 (hd(tl args))
  +                                                                 print_term fmt 0 (hd(tl args))
                                                                    pp_print_break fmt 0 0
                                                                    pp_print_string fmt " else "
  -                                                                 print_term 0 (hd(tl(tl args)))
  +                                                                 print_term fmt 0 (hd(tl(tl args)))
                                                                    pp_close_box fmt ()
                                                                    if prec = 0 then ()
                                                                    else pp_print_string fmt ")")
  
positive.code:                 return [cl]
          }
  
      fun fmt ->
          let rec print_term prec tm =
              (* OPTIMIZE: Modify these functions to use option -- these heavily-nested
                           try-catch blocks are extremely slow. *)
              match try_user_printer tm with
  
negative.code:                                                                      (pp_open_hvbox fmt 1
                                                                        pp_print_string fmt "(")
                                                                   else pp_open_hvbox fmt 0
                                                                   print_term fmt newprec (hd bargs)
                                                                   do_list (fun x -> 
                                                                           if mem s (!unspaced_binops) then ()
                                                                           elif mem s (!prebroken_binops) then 
  