anchor.diff:    receive
       ready -> ok;
       exited -> retry;
  -    {blocked, _, _} -> retry;
  +    {blocked, _} -> retry;
       #event{} = NewEvent -> {ok, NewEvent};
       {'ETS-TRANSFER', _, _, given_to_scheduler} ->
         wait_process(Pid, Timeout);
  
positive.code:               true ->
                  Messages = Info#concuerror_info.message_queue,
                  MessageList = [D || #message{data = D} <- queue:to_list(Messages)],
                  Notification = {blocked, Location, MessageList},
                  process_loop(notify(Notification, Info));
                false ->
                  process_loop(set_status(Info, waiting))
  
negative.code:     fun(P, Acc) ->
          P ! deadlock_poll,
          receive
            {blocked, Info} -> [Info|Acc];
            exited -> Acc
          end
      end,
  