anchor.diff:              _ = case ItemResult of
                       state_updated ->
                           _ = set_entry(TxState, State),
  -                        trigger_delete_if_done(TxState);
  +                        trigger_delete_if_done(TxState, State);
                       item_newly_safe ->
                           {TxResult, TmpTxState} = tx_state:add_item_acked(TxState),
                           NewTxState =
  
positive.code:           || RTM <- RTMs ],
      ok.
  
  -spec trigger_delete_if_done(tx_state:tx_state()) -> ok.
  trigger_delete_if_done(TxState) ->
      ?TRACE("tx_tm_rtm:trigger delete?~n", []),
      case (tx_state:is_decided(TxState)) of
          ?undecided -> ok;
  
negative.code:                                     TmpTxState
                              end,
                          _ = set_entry(NewTxState, State),
                          trigger_delete_if_done(NewTxState, State)
                  end,
              State
      end;
  