anchor.diff:                  NewBlockedProcesses = BlockedProcesses1 -- [BP],
   
                   {NewNumDelivered, RestOfTrace, NewBlockedProcesses};
  +            {true, omitted} ->
  +                %% TODO: Not ideal to keep these processes blocked forever, but hey, it works!
  +                replay_debug("message ~p ~p should be omitted!", [NextType, NextMessage]),
  +
  +                %% Advance the trace.
  +                [{_, _} | RestOfTrace] = Trace1,
  +
  +                %% Advance the count of delivered messages.
  +                NewNumDelivered = NumDelivered1 + 1,
  +
  +                {NewNumDelivered, RestOfTrace, BlockedProcesses1};
               false ->
                   replay_debug("pid ~p CANNOT be unblocked yet, unmet dependencies!", [Pid]),
   
  
positive.code:             case Shrinking of 
                  true ->
                      replay_debug("=> CONDITIONAL YES, message doesn't exist in previous trace, but shrinking: ~p ~p", [Type, Message]),
                      true;
                  false ->
                      replay_debug("=> message should not have been delivered, blocking.", []),
                      false
  
negative.code:                             case Shrinking of 
                                  true ->
                                      replay_debug("=> CONDITIONAL YES, message doesn't exist in previous trace, but shrinking: ~p ~p", [Type, Message]),
                                      {true, delivered};
                                  false ->
                                      replay_debug("=> NO, waiting for message: ~p: ~p", [NextType, NextMessage]),
                                      false
  