anchor.diff:                                  LocalItem
                           end,
                 NewItem = tx_item_state:set_status(TmpItem, ok),
  -              _ = my_set_entry(NewItem, State),
  +              _ = 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(State),
  +    LAcceptor = state_get_lacceptor(NewState),
       _ = [ [ acceptor:start_paxosid_local(LAcceptor, PaxId, Learners)
           || {PaxId, _RTlog, _TP}
                  <- tx_item_state:get_paxosids_rtlogs_tps(ItemState) ]
  
positive.code: state_to_on(State) ->
      {A, B, C, D, E, F, _G} = State,
      {A, B, C, D, E, F}.
  
  %% @doc Checks whether config parameters for tx_tm_rtm exist and are
  %%      valid.
  
negative.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
      NewState;
  
  % received by RTMs
  on({register_TP, {Tid, ItemId, PaxosID, TP}} = Msg, State) ->
  