anchor.diff:  %% STUB
   replay_trace(State) ->
       [#trace_state{lid_trace = LidTrace}|_] = State#flanagan_state.trace,
  -    ?f_debug("Little cutie is trying to replay...\n"),
  +    ?f_debug("REPLAY\n"),
       ?f_debug("~p\n",[LidTrace]),
       Target = State#flanagan_state.target,
       ?f_debug("~p\n",[Target]),
  
positive.code:     start_target_op(Target),
      replay_lid_trace(LidTrace),
      RunCnt = State#flanagan_state.run_count,
      State#flanagan_state{run_count = RunCnt + 1}.
  
  replay_lid_trace(Queue) ->
      {V, NewQueue} = queue:out(Queue),
  
negative.code: %% STUB
  report_possible_deadlock(State) ->
      #flanagan_state{trace = [_TraceTop|Trace]} = State,
      ?f_debug("~p\n",[queue:to_list(_TraceTop#trace_state.lid_trace)]),
      State#flanagan_state{must_replay = true, trace = Trace}.
  
  flanagan_return(State) ->
  