anchor.diff:         trace = [InitialTrace]},
     %%meck:new(file, [unstick, passthrough]),
     ok = concuerror_callback:start_first_process(FirstProcess, Target),
  -  assert_no_messages(),
     {Status, FinalState} =
       try
         ?debug(Logger, "Starting exploration...~n",[]),
  
positive.code:      sleeping         = Sleeping,
       wakeup_tree      = WakeupTree
      } = Last,
    assert_no_messages(),
    case WakeupTree of
      [] ->
        Event = #event{label = make_ref()},
  
negative.code:   #event{event_info = EventInfo} = Event,
    #message_event{message = Message, type = Type} = EventInfo,
    %% Message delivery always succeeds
    assert_no_messages(),
    Recipient ! {Type, Message},
    UpdatedEvent =
      receive
  