anchor.diff:    {NewLastWakeupTree, NextWakeupTree} =
       case WakeupTree of
         [] -> {[], []};
  -      [{_, NWT}|Rest] -> {Rest, NWT}
  +      [{_, _, NWT}|Rest] -> {Rest, NWT}
       end,
     NewLastDone = [Event|Done],
     NewDelayBound =
  
positive.code: %%------------------------------------------------------------------------------
  
  has_more_to_explore(State) ->
    #scheduler_state{logger = Logger, trace = Trace} = State,
    TracePrefix = find_prefix(Trace, State),
    case TracePrefix =:= [] of
      true -> {false, State#scheduler_state{trace = []}};
      false ->
        ?time(Logger, "New interleaving. Replaying..."),
        NewState = replay_prefix(TracePrefix, State),
        ?debug(Logger, "~s~n",["Replay done."]),
        FinalState = NewState#scheduler_state{trace = TracePrefix},
  
negative.code: log_trace(State) ->
    #scheduler_state{
       current_warnings = UnfilteredWarnings,
       exploring = N,
       ignore_error = Ignored,
       logger = Logger} = State,
    Warnings = filter_warnings(UnfilteredWarnings, Ignored),
  