anchor.diff:                      %% store TP info to corresponding PaxosId
                       NewEntry =
                           tx_item_state:set_tp_for_paxosid(ItemState, TP, PaxosID),
  -                    trigger_delete_if_done(TxState),
  +                    trigger_delete_if_done(TxState, State),
                       set_entry(NewEntry, State);
                   Decision when Role =:= tx_tm ->
                       %% if ?register_TP arrives after tx decision, inform the
  
positive.code:                                     TmpTxState
                              end,
                          _ = set_entry(NewTxState, State),
                          trigger_delete_if_done(NewTxState)
                  end,
              State
      end;
  
negative.code:             _ = case ItemResult of
                      state_updated ->
                          _ = set_entry(TxState, State),
                          trigger_delete_if_done(TxState, State);
                      item_newly_safe ->
                          {TxResult, TmpTxState} = tx_state:add_item_acked(TxState),
                          NewTxState =
  