anchor.diff:          // of the list, since we don't need to traverse the entire list.
           match l.Length with
           | 0 ->
  -            Format.print_string "Empty goalstack"
  +            Format.pp_print_string fmt "Empty goalstack"
           | 1 -> 
               let gs = hd l
               pp_print_goalstate fmt 1 gs
  
positive.code:          then (Format.pp_print_string fmt (" (" + s + ")"))
           else ())
          Format.pp_close_box fmt ()
          Format.print_newline()
      let rec pp_print_hyps fmt n asl = 
          if asl = []
          then ()
  
negative.code:             if n = 0 then "No subgoals"
              else
                  (string k) + " subgoal" + (if k > 1 then "s" else "") + " (" + (string n) + " total)"
          Format.pp_print_string fmt s
          Format.pp_print_newline fmt ()
          if not <| List.isEmpty gl then
              do_list (pp_print_goal fmt << C el gl) (rev(0 -- (k - 1)))
  
      let pp_print_goalstates fmt (l : goalstate list) =
          // TEMP : Un-protect the goalstates.
  