anchor.diff:  
   %%------------------------------------------------------------------------------
   
  +print_depth_tip() ->
  +  Tip = "Increase '--print_depth' if output/graph contains \"...\".~n",
  +  ?unique(self(), ?ltip, Tip, []).
  +
  +%%------------------------------------------------------------------------------
  +
   setup_symbolic_names(SymbolicNames, Processes) ->
     case SymbolicNames of
       false -> ok;
  
positive.code:         {log, ?ltiming, none, Msg, [Diff, Tag]},
          State#logger_state{timestamp = Now});
      {race, EarlyEvent, Event} ->
        Msg =
          io_lib:format(
            "* ~s~n  ~s~n~n",
  
negative.code:               ",color=orange,penwidth=5";
              _ -> ""
            end,
          print_depth_tip(),
          Label = concuerror_io_lib:pretty_s({I,Event#event{location=[]}}, PrintDepth - 19),
          EnabledLabel =
            case BoundConsumed =:= 0 of
  