anchor.diff:      start_target_op(Target),
       replay_lid_trace(LidTrace),
       RunCnt = State#flanagan_state.run_count,
  -    State#flanagan_state{run_count = RunCnt + 1}.
  +    State#flanagan_state{run_count = RunCnt + 1, must_replay = false}.
   
   replay_lid_trace(Queue) ->
       {V, NewQueue} = queue:out(Queue),
  
positive.code: %% STUB
  replay_trace(State) ->
      [#trace_state{lid_trace = LidTrace}|_] = State#flanagan_state.trace,
      ?f_debug("Little cutie is trying to replay...\n"),
      ?f_debug("~p\n",[LidTrace]),
      Target = State#flanagan_state.target,
      ?f_debug("~p\n",[Target]),
  
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) ->
  