anchor.diff:  %% Local declare operation, which will need to initialize metadata and
   %% broadcast the value to the remote nodes.
   handle_call({declare, Id, Type}, _From,
  -            #state{store=Store, actor=Actor, counter=Counter}=State) ->
  +            #state{store=Store, actor=Actor}=State) ->
       lasp_marathon_simulations:log_message_queue_size("declare/2"),
   
       Result = ?CORE:declare(Id, Type, ?CLOCK_INIT(Actor), Store),
  -    {reply, Result, State#state{counter=increment_counter(Counter)}};
  +    {reply, Result, State};
   
   %% Incoming bind request, where we do not have information about the
   %% variable yet.  In this case, take the remote metadata, if we don't
   %% have local metadata.
   handle_call({declare, Id, IncomingMetadata, Type}, _From,
  -            #state{store=Store, counter=Counter}=State) ->
  +            #state{store=Store}=State) ->
       lasp_marathon_simulations:log_message_queue_size("declare/3"),
   
       Metadata0 = case get(Id, Store) of
  
positive.code: 
      {ok, Actor} = lasp_unique:unique(),
  
      Counter = 0,
      GCCounter = 0,
      Identifier = node(),
  
  
negative.code: %% State record.
  -record(state, {store :: store(),
                  actor :: binary(),
                  gc_counter :: non_neg_integer()}).
  
  %% Broadcast record.
  