anchor.diff:  %%        done = Done,
   %%        nexts = Nexts} = Top,
   %%     BT = [K || {K, _, _} <- Backtrack],
  -%%     io:format("~p: ~p\nBT:~p\nSL:~p\n~p\n---\n",
  -%%               [I, Last, BT, ordsets:union(Done,SleepSet), dict:to_list(Nexts)]),
  +%%     Keys = ordsets:union(Done, SleepSet),
  +%%     Pred = fun(K,_) -> ordsets:is_element(K, Keys) end,
  +%%     FilteredNexts = dict:filter(Pred, Nexts),
  +%%     io:format("~p: ~p\nBacktrack:~p\nSleep Set:~p\n"
  +%%               "FilteredNexts:~p\n~p\n---\n",
  +%%               [I, Last, BT, ordsets:union(Done,SleepSet),
  +%%                dict:to_list(FilteredNexts)]),
   %%     debug_trace(Rest).
   
   convert_trace_to_error_trace([], Acc) -> Acc;
  
positive.code: 
  wait_next(Lid, {exit, {normal, _Info}} = Arg2) ->
      Pid = concuerror_lid:get_pid(Lid),
      link(Pid),
      continue(Lid),
      receive
          {'EXIT', Pid, normal} -> {Lid, exited, []}
      after
          ?TIME_LIMIT -> error(time_limit, [Lid, Arg2])
      end;
  
negative.code:                     true ->
                          ?debug("SLEEP SET BLOCK\n"),
                          %% debug_trace(lists:reverse(Trace)),
                          %% exit(sleep_set_block),
                          {Tickets, SBlocked+1}
                  end
          end,
      State#dpor_state{must_replay = true, tickets = NewTickets,
                       sleep_blocked_count = NewSBlocked}.
  
  %% debug_trace([]) -> ok;
  %% debug_trace([Top|Rest]) ->
  %%     #trace_state{
  %%        i = I,
  