anchor.diff:          end,
       NewTLog = tx_tlog:update_entry(TLog, NewTLogEntry),
       do_reqs_on_tlog_iter(NewTLog, ReqTail, [ResultEntry | Acc]).
  +
  +-spec tlog_cleanup(tx_tlog:tlog()) -> tx_tlog:tlog().
  +tlog_cleanup(TLog) ->
  +    [ case tx_tlog:get_entry_operation(TLogEntry) of
  +          rdht_tx_read -> tx_tlog:set_entry_value(TLogEntry, '$empty');
  +          rdht_tx_write -> TLogEntry
  +      end || TLogEntry <- TLog ].
   
   %% @doc Get a result entry for a read from the given TLog entry.
   -spec tlog_read(tx_tlog:tlog_entry(), client_key()) ->
  
positive.code:                             =/= tx_tlog:get_entry_version(RTEntry) of
                              true ->
                                  tx_tlog:set_entry_status(RTEntry, {fail, abort});
                              false -> RTEntry
                          end,
                      merge_tlogs_iter(TTail, RTTail, [NewTLogEntry | Acc]);
                  _ ->
                      log:log(warn,
                              "Duplicate key in TLog merge should not happen"),
                      merge_tlogs_iter(TTail, RTTail, [ RTEntry | Acc])
              end;
          false ->
  
negative.code:     case TKey =:= req_get_key(Req) of
          true ->
              %% key is in TLog, rdht op not necessary
              case tx_tlog:get_entry_operation(TEntry) of
                  rdht_tx_write ->
                      first_req_per_key_not_in_tlog_iter(USTLog, RTail, Acc);
                  _ ->
                      case req_get_op(Req) of
                          %% when operation needs the value (read) and
                          %% TLog is optimized, we need the op anyway to
                          %% calculate the result entry.
                          rdht_tx_read ->
                              first_req_per_key_not_in_tlog_iter
                                (USTLog, RTail, [Req | Acc]);
                          test_and_set ->
                              first_req_per_key_not_in_tlog_iter
                                (USTLog, RTail, [Req | Acc]);
                          add_on_nr ->
                              first_req_per_key_not_in_tlog_iter
                                (USTLog, RTail, [Req | Acc]);
                          add_del_on_list ->
                              first_req_per_key_not_in_tlog_iter
                                (USTLog, RTail, [Req | Acc]);
                          %%first_req_per_key_not_in_tlog_iter(USTLog, RTail, Acc);
                          _ ->
                              first_req_per_key_not_in_tlog_iter(USTLog, RTail, Acc)
                      end
              end;
          false ->
              case TKey < req_get_key(Req) of
  