anchor.diff:  commit_read_feeder(TLogEntry, TxId, ok, Round, OldVal) ->
       {TLogEntry, TxId, self(), Round, OldVal}.
   
  +%% @doc Releases the read lock of a given entry, if it was set.
   -spec commit_read(tx_tlog:tlog_entry(), ?RT:key(), comm:erl_local_pid(),
                     prbr:r_with_id(), any()) -> ok.
   commit_read(TLogEntry, TxId, ReplyTo, NextRound, OldVal) ->
  
positive.code: %% %%%%%%%%%%%%%%%%%%%%%%%%%
  %% functions for abort_read
  %% %%%%%%%%%%%%%%%%%%%%%%%%%
  %% abort read releases the read lock of a given entry, if it was set.
  -spec abort_read_feeder(tx_tlog:tlog_entry(), ?RT:key(), ok,
                           prbr:r_with_id(), {txid_on_cseq:txid(), version()}) ->
                                  {tx_tlog:tlog_entry(),
  
negative.code: abort_read_feeder(TLogEntry, TxId, ok, Round, OldVal) ->
      {TLogEntry, TxId, self(), Round, OldVal}.
  
  %% @doc Releases the read lock of a given entry, if it was set.
  -spec abort_read(tx_tlog:tlog_entry(), ?RT:key(), comm:erl_local_pid(),
                    prbr:r_with_id(), any()) -> ok.
  abort_read(TLogEntry, TxId, ReplyTo, NextRound, OldVal) ->
  