anchor.diff:    end;
   free_schedule(_Event, [], State) ->
     %% Nothing to do, trace is completely explored
  -  #scheduler_state{
  -     current_warnings = Warnings,
  -     logger = Logger,
  -     trace = [Last|Prev]
  -    } = State,
  +  #scheduler_state{logger = Logger, trace = [Last|Prev]} = State,
     #trace_state{actors = Actors, sleeping = Sleeping} = Last,
     NewWarnings =
       case Sleeping =/= [] of
  
positive.code:       filter_warnings(NewWarnings, Ignored, Logger)
    end.
  
  %%------------------------------------------------------------------------------
  
  get_next_event(
    #scheduler_state{
       current_warnings = Warnings,
       depth_bound = Bound,
       logger = Logger,
       trace = [#trace_state{index = I}|Old]} = State) when I =:= Bound + 1 ->
  
negative.code:     "Some interleaving reached the depth bound (~p). Consider limiting the size"
      " of the test or increasing the bound.~n",
    ?unique(Logger, ?lwarning, UniqueMsg, [Bound]),
    NewState = add_warning({depth_bound, Bound}, Old, State),
    {none, NewState};
  get_next_event(#scheduler_state{logger = Logger, trace = [Last|_]} = State) ->
    #trace_state{wakeup_tree = WakeupTree} = Last,
  