anchor.diff:    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)]),
  +  ?debug(_Logger, "~s~n", [?pretty_s(I, Event)]),
     {ok, #event{actor = Actor} = NewEvent} = get_next_event_backend(Event, State),
     try
       true = Event =:= NewEvent
  
positive.code:   Pred =
      fun(OldEvent) ->
          V = concuerror_dependencies:dependent_safe(NewEvent, OldEvent),
          ?trace(_Logger, "     Awaking (~p): ~s~n", [V,?pretty_s(OldEvent)]),
          V =:= false
      end,
    lists:filter(Pred, SleepSet).
  
negative.code:       show_plan(initial, Logger, 1, [EarlyEvent|V]),
        true;
      false ->
        ?trace(Logger, "Up~n",[]),
        has_weak_initial_before(Rest, [EarlyEvent|V], Logger)
    end.
  
  