anchor.diff:       sleeping         = Sleeping,
        wakeup_tree      = WakeupTree
       } = Last,
  -  assert_no_messages(),
     case WakeupTree of
       [] ->
         Event = #event{label = make_ref()},
  
positive.code:     end,
    ok = ets:foldl(Fold, ok, Processes),
    ok = concuerror_callback:start_first_process(FirstProcess, Target),
    assert_no_messages(),
    ok = replay_prefix_aux(lists:reverse(Trace), State).
  
  replay_prefix_aux([_], _State) ->
  
negative.code:        trace = [InitialTrace]},
    %%meck:new(file, [unstick, passthrough]),
    ok = concuerror_callback:start_first_process(FirstProcess, Target),
    {Status, FinalState} =
      try
        ?debug(Logger, "Starting exploration...~n",[]),
  