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:             _ = case ItemResult of
                      state_updated ->
                          _ = set_entry(TxState, State),
                          trigger_delete_if_done(TxState);
                      item_newly_safe ->
                          {TxResult, TmpTxState} = tx_state:add_item_acked(TxState),
                          NewTxState =
  
negative.code:                                     TmpTxState
                              end,
                          _ = set_entry(NewTxState, State),
                          trigger_delete_if_done(NewTxState, State)
                  end,
              State
      end;
  