anchor.diff:      schedule_aae_synchronization(),
   
       {noreply, State};
  -handle_info(delta_sync, #state{sync_counter=SyncCounter}=State) ->
  +handle_info(delta_sync, #state{}=State) ->
       log_message_queue_size("delta_sync"),
   
       lasp_logger:extended("Beginning delta synchronization."),
  
positive.code:     %% Schedule next synchronization.
      schedule_delta_synchronization(),
  
      {noreply, State#state{sync_counter=SyncCounter+1}};
  handle_info(delta_gc, #state{gc_counter=GCCounter0, store=Store}=State) ->
      log_message_queue_size("delta_gc"),
  
  
negative.code: %% State record.
  -record(state, {store :: store(),
                  actor :: binary(),
                  counter :: non_neg_integer(),
                  gc_counter :: non_neg_integer()}).
  
  