anchor.diff:  %% @doc remove_node_from_preflist:  From each element of the input preflist, the node identifier is removed
   %%      Input:  Preflist: list of pairs {Partition, Node}
   %%      Return: List of Partition identifiers
  --spec remove_node_from_preflist(Preflist::[{Index::integer(), Node::term()}]) -> [integer()].
  +-spec remove_node_from_preflist(preflist()) -> [integer()].
   remove_node_from_preflist(Preflist) ->
       F = fun(Elem, Acc) ->
                   {P,_} = Elem,
  
positive.code: 
  %% @doc lookup_operations: Looks up for the operations logged for a particular key
  %%		Input:	Log: Identifier of the log
  %%				Key: Key to shich the operation belongs
  %%		Return:	List of all the logged operations 
  -spec lookup_operations(Log::term(), Key::term()) -> list().
  lookup_operations(Log, Key) ->
      dets:lookup(Log, Key).
  
  
  %% @doc preflist_member: Returns true if the Partition identifier is part of the Preflist
  %%      Input:  Partition: The partidion identifier to check
  %%              Preflist: A list of pairs {Partition, Node}
  %%      Return: true | false
  -spec preflist_member(Partition::non_neg_integer(), Preflist::[{Index::integer(), Node::term()}]) -> true | false.
  preflist_member(_Partition,[]) -> false;
  preflist_member(Partition,[Next|Rest]) ->
      {PartitionB, _} = Next,
      case PartitionB==Partition of
          true ->
              true;
          false ->
              preflist_member(Partition, Rest)
      end.    
  
  -ifdef(TEST).
  
  
negative.code: %%			Initial: Initial log identifier. Non negative integer. Consecutive ids for the logs. 
  %%			Map: The ongoing map of preflist->log. dict() type.
  %%	Return:	LogsMap: Maps the  preflist and actual name of the log in the system. dict() type.
  -spec open_logs(LogFile::string(), [preflist()], N::non_neg_integer(), Map::dict()) -> LogsMap::dict() | {error,reason()}.
  open_logs(_LogFile, [], _Initial, Map) -> Map;
  open_logs(LogFile, [Next|Rest], Initial, Map)->
      LogId = string:concat(LogFile, integer_to_list(Initial)),
  