anchor.diff:  %% public interface for transaction validation using Paxos-Commit.
   -export([commit/4]).
   -export([msg_commit_reply/3]).
  +-export([rm_send_update/4]).
   
   %% functions for gen_component module, supervisor callbacks and config
   -export([start_link/2]).
  
positive.code: 
  rtm_entry_new(Key, RTMPid, Nth, AccPid) -> {Key, RTMPid, Nth, AccPid}.
  get_rtmkey(RTMEntry) -> element(1, RTMEntry).
  get_rtmpid(RTMEntry) -> element(2, RTMEntry).
  get_nth(RTMEntry)    -> element(3, RTMEntry).
  get_accpid(RTMEntry) -> element(4, RTMEntry).
  
negative.code:               {NewRTMs, TableName, tx_tm, LAcceptor, GLLearner}, on);
          _ -> {NewRTMs, TableName, tx_tm, LAcceptor, GLLearner, QueuedMessages}
      end;
  
  on_init({new_node_id, Id}, {RTMs, TableName, tx_tm, LAcceptor, GLLearner, Queue}) ->
      IDs = ?RT:get_replica_keys(Id),
      NewRTMs = [ set_rtmkey(R, I) || {R, I} <- lists:zip(RTMs, IDs) ],
      {NewRTMs, TableName, tx_tm, LAcceptor, GLLearner, Queue};
  
  on_init({tx_tm_rtm_commit, _Client, _ClientsID, _TransLog} = Msg,
          {RTMs, TableName, tx_tm, LAcceptor, GLLearner, QueuedMessages} = _State) ->
  