anchor.diff:  	    {ok, {SelectedLid, Instruction}, NewState}
       end.
   
  -%% STUB
   replay_trace(#dpor_state{proc_before = ProcBefore} = State) ->
       ?f_debug("\nReplay is required...\n"),
       [#trace_state{lid_trace = LidTrace}|_] = State#dpor_state.trace,
  
positive.code:     Variables = handle_instruction_op(Transition),
      handle_instruction_al(Transition, TraceTop, Variables).
  
  handle_instruction_op({Lid, {Spawn, _Info}}) when Spawn =:= spawn; Spawn =:= spawn_link ->
      ParentLid = Lid,
      ChildLid =
          receive
              %% This is the replaced message
              #sched{msg = spawned, lid = ParentLid, misc = ChildLid0, type = prev} ->
                  ChildLid0
          end,
      ChildNextInstr = wait_next(ChildLid, init),
  
negative.code:         end,
      {exception, {NewType, Stacktrace}}.
  
  report_possible_deadlock(State) ->
      #dpor_state{trace = [TraceTop|Trace], tickets = Tickets} = State,
      NewTickets =
          case TraceTop#trace_state.enabled of
              [] ->
                  case TraceTop#trace_state.blocked of
                      [] -> Tickets;
                      Blocked ->
                          Error = {deadlock, Blocked},
                          LidTrace = TraceTop#trace_state.lid_trace,
                          Ticket = create_ticket(Error, LidTrace),
                          [Ticket|Tickets]
                  end;
              _Else ->
  