anchor.diff:        show_plan(initial, Logger, 1, [EarlyEvent|V]),
         true;
       false ->
  -      ?debug(Logger, "Up~n",[]),
  +      ?trace(Logger, "Up~n",[]),
         has_weak_initial_before(Rest, [EarlyEvent|V], Logger)
     end.
   
  
positive.code:   State;
  replay_prefix_aux([#trace_state{done = [Event|_], index = I}|Rest], State) ->
    #scheduler_state{logger = _Logger, print_depth = PrintDepth} = State,
    ?trace(_Logger, "~s~n", [?pretty_s(I, Event)]),
    {ok, #event{actor = Actor} = NewEvent} = get_next_event_backend(Event, State),
    try
      true = Event =:= NewEvent
  
negative.code:         #scheduler_state{assume_racing = AssumeRacing} = State,
          Dependent =
            concuerror_dependencies:dependent(EarlyEvent, Event, AssumeRacing),
          ?debug(State#scheduler_state.logger,
                 "    ~s ~s~n",
                 begin
                   Star = fun(false) -> " ";(_) -> "*" end,
  