anchor.diff:              CanDeliver = case {NextType, NextMessage} of 
                   {Type, Message} ->
                       replay_debug("=> YES!", []),
  -                    {true, delivered};
  -                {{omit, Type}, Message} ->
  -                    replay_debug("=> YES: OMISSION!", []),
  -                    {true, omitted};
  +                    true;
                   _ ->
                       %% But, does the message actually exist in the trace?
                       case lists:member({Type, Message}, PreviousTrace) of 
  
positive.code:                     %% Find next message that should arrive based on the trace.
                      %% Can we process immediately?
                      case can_deliver_based_on_trace(Shrinking, {Type, Message}, PreviousTrace0, BlockedProcesses0) of 
                          {true, _} ->
                              %% Deliver as much as we can.
                              {PreviousTrace, BlockedProcesses} = trace_deliver(Shrinking, {Type, Message}, PreviousTrace0, BlockedProcesses0),
  
  
negative.code:                 NewBlockedProcesses = BlockedProcesses1 -- [BP],
  
                  {NewNumDelivered, RestOfTrace, NewBlockedProcesses};
              false ->
                  replay_debug("pid ~p CANNOT be unblocked yet, unmet dependencies!", [Pid]),
  
  