anchor.diff:  
   %% @private
   view_ad(CounterType, Id, Counters0, CountersDelta0) ->
  -    case dict:size(Counters0) of
  -        0 ->
  +    case dict:is_empty(Counters0) of
  +        true ->
               {ok, {Counters0, CountersDelta0}};
  -        _ ->
  +        false ->
               %% Select a random advertisement from the list of
               %% active advertisements.
               Random = random:uniform(dict:size(Counters0)),
  
positive.code: 
  %% @private
  memory_report() ->
      MemoryData = {_, _, {BadPid, _}} = memsup:get_memory_data(),
      lager:info(""),
      lager:info("-----------------------------------------------------------", []),
      lager:info("Allocated areas: ~p", [erlang:system_info(allocated_areas)]),
      try
          lager:info("Worst: ~p", [process_info(BadPid)]),
          lager:info("Worst trace: ~s", [element(2, erlang:process_info(BadPid, backtrace))])
      catch
          _:_ ->
              %% Process might die while trying to get info.
  
negative.code:     {ok, {_, _, _, AdsWithContracts}} = lasp:read(AdsWithContractsId, AdsWithContracts0),
      %% Log state received from the server.
      log_transmission(AdsWithContracts),
      AdList = lasp_type:query(SetType, AdsWithContracts),
      Identifiers = [Id || {#ad{counter=Id}, _} <- AdList],
  
      %% Refresh our dictionary with any new values from the server.
  