anchor.diff:                              case Shrinking of 
                                   true ->
                                       replay_debug("=> CONDITIONAL YES, message doesn't exist in previous trace, but shrinking: ~p ~p", [Type, Message]),
  -                                    true;
  +                                    {true, delivered};
                                   false ->
                                       replay_debug("=> NO, waiting for message: ~p: ~p", [NextType, NextMessage]),
                                       false
  
positive.code:                 NewBlockedProcesses = BlockedProcesses1 -- [BP],
  
                  {NewNumDelivered, RestOfTrace, NewBlockedProcesses};
              false ->
                  replay_debug("pid ~p CANNOT be unblocked yet, unmet dependencies!", [Pid]),
  
  
negative.code:     %% Iterate blocked processes in an attempt to remove one.
      {ND, T, BP} = lists:foldl(fun({{NextType, NextMessage}, Pid} = BP, {NumDelivered1, Trace1, BlockedProcesses1}) ->
          case can_deliver_based_on_trace(Shrinking, {NextType, NextMessage}, Trace1, BlockedProcesses0) of 
              {true, delivered} ->
                  replay_debug("message ~p ~p can be unblocked!", [NextType, NextMessage]),
  
                  %% Advance the trace.
  