anchor.diff:  %% @doc Periodically synchronize state with the server.
   synchronize(SetType, AdsWithContractsId, AdsWithContracts0, Counters0, CountersDelta0) ->
       %% Get latest list of advertisements from the server.
  -    Term1 = {ok, {_, _, _, AdsWithContracts}} = lasp:read(AdsWithContractsId, AdsWithContracts0),
  -    log_transmission(Term1),
  +    {ok, {_, _, _, AdsWithContracts}} = lasp:read(AdsWithContractsId, AdsWithContracts0),
       AdList = SetType:value(AdsWithContracts),
       Identifiers = [Id || {#ad{counter=Id}, _} <- AdList],
   
  
positive.code:     RefreshFun = fun({#ad{counter=Ad}, _}, Acc) ->
                        case dict:is_key(Ad, Acc) of
                            false ->
                                Term2 = {ok, {_, _, _, Counter}} = lasp:read(Ad, undefined),
                                log_transmission(Term2),
                                dict:store(Ad, Counter, Acc);
                            true ->
                                Acc
  
negative.code:     %% 3.) Server returns the merged value to the client.
      %%
      SyncFun = fun(Ad, Counter0, Acc) ->
                      %% Log transmission of the local delta (or state).
                      log_transmission(Counter0),
  
                      {ok, {_, _, _, Counter}} = lasp:bind(Ad, Counter0),
  
                      %% Log receipt of information from the server.
                      log_transmission(Counter),
  
                      case lists:member(Ad, Identifiers) of
                          true ->
                              dict:store(Ad, Counter, Acc);
  