anchor.diff:            || RTM <- RTMs ],
       ok.
   
  --spec trigger_delete_if_done(tx_state:tx_state()) -> ok.
  -trigger_delete_if_done(TxState) ->
  +-spec trigger_delete_if_done(tx_state:tx_state(), state()) -> ok.
  +trigger_delete_if_done(TxState, State) ->
       ?TRACE("tx_tm_rtm:trigger delete?~n", []),
       case (tx_state:is_decided(TxState)) of
           ?undecided -> ok;
  
positive.code:                     %% store TP info to corresponding PaxosId
                      NewEntry =
                          tx_item_state:set_tp_for_paxosid(ItemState, TP, PaxosID),
                      trigger_delete_if_done(TxState),
                      set_entry(NewEntry, State);
                  Decision when Role =:= tx_tm ->
                      %% if ?register_TP arrives after tx decision, inform the
  
negative.code:         Decision -> %% commit / abort
              %% @TODO majority informed is sufficient?!
              case tx_state:all_tps_informed(TxState)
                       andalso ((tx_state:get_numids(TxState) =:= tx_state:get_numcommitack(TxState))
                               orelse (tx_tm =/= state_get_role(State)))
                  %%    andalso tx_state:all_tps_registered(TxState)
              of
                  true ->
  