anchor.diff:      fun(P, Acc) ->
           P ! deadlock_poll,
           receive
  -          {blocked, Location, Messages} -> [{P, Location, Messages}|Acc];
  +          {blocked, Info} -> [Info|Acc];
             exited -> Acc
           end
       end,
  
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:   receive
      ready -> ok;
      exited -> retry;
      {blocked, _} -> retry;
      #event{} = NewEvent -> {ok, NewEvent};
      {'ETS-TRANSFER', _, _, given_to_scheduler} ->
        wait_process(Pid, Timeout);
  