anchor.diff:      %% process hold back messages for tx_state
       %% @TODO better use a foldr
       %% io:format("Starting hold back queue processing~n"),
  -    _ = [ on(OldMsg, State) || OldMsg <- lists:reverse(tx_state:get_hold_back(NewEntry)) ],
  +    _ = [ on(OldMsg, NewState) || OldMsg <- lists:reverse(tx_state:get_hold_back(NewEntry)) ],
       %% process hold back messages for tx_items
  -    _ = [ [ on(OldMsg, State)
  +    _ = [ [ on(OldMsg, NewState)
           || OldMsg <- lists:reverse(tx_item_state:get_hold_back(Item)) ]
         || Item <- NewItemStates],
       %% io:format("Stopping hold back queue processing~n"),
  
positive.code:     %%msg_delay:send_local(1 + InRole, self(), {tx_tm_rtm_propose_yourself, Tid}),
      %% after timeout take over and initiate new paxos round as proposer
      %% done in on({tx_tm_rtm_propose_yourself...}) handler
      State;
  
  % received by RTMs
  on({register_TP, {Tid, ItemId, PaxosID, TP}} = Msg, State) ->
  
negative.code:                                 LocalItem
                          end,
                NewItem = tx_item_state:set_status(TmpItem, ok),
                _ = my_set_entry(NewItem, NewState),
                NewItem
            end || Entry <- ItemStates],
  
      %% initiate local paxos acceptors (with received paxos_ids)
      Learners = tx_state:get_learners(TxState),
      LAcceptor = state_get_lacceptor(NewState),
      _ = [ [ acceptor:start_paxosid_local(LAcceptor, PaxId, Learners)
          || {PaxId, _RTlog, _TP}
                 <- tx_item_state:get_paxosids_rtlogs_tps(ItemState) ]
  