anchor.diff:  
   %% =============================================================================
   
  -reset_receive_done([Event|Rest], #scheduler_state{use_receive_patterns = true}) ->
  +reset_receive_done([Event|Rest], State)
  +  when State#scheduler_state.use_receive_patterns =:= true ->
     NewSpecial =
       [patch_message_delivery(S, empty_map()) || S <- Event#event.special],
     [Event#event{special = NewSpecial}|Rest];
  
positive.code:       end
    end.
  
  remove_message(#message_event{recipient = Recipient, sender = Sender}, Actors) ->
    Channel = {Sender, Recipient},
    remove_message(Channel, Actors, []).
  
  
negative.code:         true -> bound_reached(Logger);
          false -> ok
        end,
        Eventify =
          [maybe_prepare_channel_event(E, #event{}) || E <- ToBeExplored],
        FullBacktrack = [#backtrack_entry{event = Ev} || Ev <- Eventify],
        case FullBacktrack of
          [] -> ok;
  