anchor.diff:              case Shrinking of 
                   true ->
                       replay_debug("=> CONDITIONAL YES, message doesn't exist in previous trace, but shrinking: ~p ~p", [Type, Message]),
  -                    {true, delivered};
  +                    true;
                   false ->
                       replay_debug("=> message should not have been delivered, blocking.", []),
                       false
  
positive.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
  
negative.code:                 NewBlockedProcesses = BlockedProcesses1 -- [BP],
  
                  {NewNumDelivered, RestOfTrace, NewBlockedProcesses};
              false ->
                  replay_debug("pid ~p CANNOT be unblocked yet, unmet dependencies!", [Pid]),
  
  