anchor.diff:  
   %% @doc Closes the DB named DBName
   -spec close(DB::db()) -> true.
  -close({DB, _FileName}) ->
  +close({DB, _DBName}) ->
       toke_drv:close(DB),
       toke_drv:delete(DB),
       toke_drv:stop(DB).
   
   %% @doc Closes and deletes the DB named DBName
   -spec close_and_delete(DB::db()) -> true.
  -close_and_delete({_DB, FileName} = State) ->
  +close_and_delete({_DB, DBName} = State) ->
       close(State),
  +    FileName = [config:read(db_directory), "/", atom_to_list(node()), "/",
  +                DBName, ".tch"],
       case file:delete(FileName) of
           ok -> ok;
           {error, Reason} ->
  
positive.code: -export([foldl/3, foldl/4, foldl/5]).
  -export([foldr/3, foldr/4, foldr/5]).
  
  -type db() :: {DB::pid(), FileName::nonempty_string()}.
  -type key() :: db_backend_beh:key(). %% '$end_of_table' is not allowed as key() or else iterations won't work!
  -type entry() :: db_backend_beh:entry().
  
  
negative.code: %% @doc Saves arbitrary tuple Entry in DB DBName and returns the new DB.
  %%      The key is expected to be the first element of Entry.
  -spec put(DB::db(), Entry::entry()) -> db().
  put({DB, _DBName} = State, Entry) ->
      toke_drv:insert(DB, ?IN(element(1, Entry)), ?IN(Entry)),
      State.
  
  %% @doc Returns the entry that corresponds to Key or {} if no such tuple exists.
  -spec get(DB::db(), Key::key()) -> entry() | {}.
  get({DB, _DBName}, Key) ->
      case toke_drv:get(DB, ?IN(Key)) of
          not_found -> {};
          Entry -> ?OUT(Entry)
  