anchor.diff:          {log, ?ltiming, none, Msg, [Diff, Tag]},
           State#logger_state{timestamp = Now});
       {race, EarlyEvent, Event} ->
  +      print_depth_tip(),
         Msg =
           io_lib:format(
             "* ~s~n  ~s~n~n",
  
positive.code:               ",color=orange,penwidth=5";
              _ -> ""
            end,
          Label = concuerror_io_lib:pretty_s({I,Event#event{location=[]}}, PrintDepth - 19),
          EnabledLabel =
            case BoundConsumed =:= 0 of
  
negative.code: 
  %%------------------------------------------------------------------------------
  
  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;
  