anchor.diff:  
   is_empty(State=#state{logs_map=Map}) ->
       Preflists = dict:fetch_keys(Map),
  -    case no_elements(Preflists) of
  +    case no_elements(Preflists, Map) of
           true ->
               {true, State};
           false ->
  
positive.code: %%====================%%
  %% Internal Functions %%
  %%====================%%
  no_elements([]) ->
      true;
  no_elements([_Preflist|_Rest]) ->
      false.
  
  %% @doc threshold_prune: returns the operations that are not onlder than the specified op_id
  %%  Assump:	The operations are retrieved in the order of insertion
  
negative.code: 
  handle_handoff_command(?FOLD_REQ{foldfun=FoldFun, acc0=Acc0}, _Sender,
                         #state{logs_map=Map}=State) ->
      F = fun({Key, Operation}, Acc) -> FoldFun(Key, Operation, Acc) end,
      Acc= join_logs(dict:to_list(Map), F, Acc0),
      
  