anchor.diff:              Original
       end.
   
  -%% STUB
   add_some_next_to_backtrack(State) ->
       #dpor_state{trace = [TraceTop|Rest], fake_dpor = Fake} = State,
       #trace_state{enabled = Enabled, sleep_set = SleepSet,
  
positive.code:                      pollable = NewPollable, error_nxt = ErrorNext,
                       preemptions = NewPreemptions},
      InstrNewTraceTop = handle_instruction(Selected, CommonNewTraceTop),
      UpdatedClockVector = lookup_clock(Lid, InstrNewTraceTop#trace_state.clock_map),
      ?f_debug("Happened before: ~p\n", [dict:to_list(UpdatedClockVector)]),
      replace_messages(Lid, UpdatedClockVector),
      PossiblyRewrittenSelected = InstrNewTraceTop#trace_state.last,
  
negative.code:           preemption_bound = inf :: non_neg_integer() | 'inf'
           }).
  
  interleave_dpor(Target, PreBound, DporFake) ->
      ?f_debug("Interleave dpor!\n"),
      Procs = processes(),
  