anchor.diff:  %%------------------------------------------------------------------------------
   
   has_more_to_explore(State) ->
  -  #scheduler_state{logger = Logger, trace = Trace} = State,
  +  #scheduler_state{exploring = N, 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..."),
  +      S = io_lib:format("New interleaving ~p. Replaying...", [N]),
  +      ?time(Logger, S),
         NewState = replay_prefix(TracePrefix, State),
         ?debug(Logger, "~s~n",["Replay done."]),
         FinalState = NewState#scheduler_state{trace = TracePrefix},
  
positive.code:   {NewLastWakeupTree, NextWakeupTree} =
      case WakeupTree of
        [] -> {[], []};
        [{_, NWT}|Rest] -> {Rest, NWT}
      end,
    NewLastDone = [Event|Done],
    NewDelayBound =
  
negative.code:       case Deeper =:= [] of
          true  -> skip;
          false ->
            case insert_wakeup(Deeper, NewNotDep, Exploring) of
              skip -> skip;
              NewTree -> [{Event, M, NewTree}|Rest]
            end
        end
    end.
  