anchor.diff:          false ->
             ok
         end,
  -      NextExploring = N + 1,
  +      InterleavingId = State#scheduler_state.interleaving_id,
  +      NextInterleavingId = InterleavingId + 1,
         NextState =
           State#scheduler_state{
  -          exploring = N + 1,
             interleaving_errors = [],
  +          interleaving_id = NextInterleavingId,
             receive_timeout_total = 0
            },
  -      case NextExploring =< State#scheduler_state.interleaving_bound of
  +      case NextInterleavingId =< State#scheduler_state.interleaving_bound of
           true -> NextState;
           false ->
             UniqueMsg = "Reached interleaving bound (~p)~n",
  -          ?unique(Logger, ?lwarning, UniqueMsg, [N]),
  +          ?unique(Logger, ?lwarning, UniqueMsg, [InterleavingId]),
             NextState#scheduler_state{trace = []}
         end
     end.
  
positive.code:  ) ->
    #scheduler_state{
       dpor = DPOR,
       exploring = Exploring,
       logger = Logger,
       scheduling_bound_type = SchedulingBoundType,
       use_unsound_bpor = UseUnsoundBPOR,
  
negative.code: -record(backtrack_entry, {
            conservative = false :: boolean(),
            event                :: event(),
            origin = 1           :: interleaving_id(),
            wakeup_tree = []     :: event_tree()
           }).
  
  