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: 
      {ok, #state{actor=Actor,
                  counter=Counter,
                  sync_counter=0,
                  store=Store,
                  gc_counter=GCCounter}}.
  
  
negative.code:     %% Schedule next synchronization.
      schedule_delta_synchronization(),
  
      {noreply, State#state{}};
  handle_info(delta_gc, #state{gc_counter=GCCounter0, store=Store}=State) ->
      log_message_queue_size("delta_gc"),
  
  