anchor.diff:      {DeleteIt, NewState} =
           case ErrCode of
               ok when Role =:= tx_tm ->
  -                RTMs = tx_state_get_rtms(TxState),
  -                send_to_rtms(RTMs, fun(_X) -> Msg end),
  +                %% deletes to RTMS are already send in inform_RTMs.
                   %% inform used learner to delete paxosids.
                   AllPaxIds = get_paxos_ids(State, TxState),
                   %% We could delete immediately, but we still miss the
  
positive.code:     State;
  
  %% this tx is finished and enough TPs were informed, delete the state
  on({?tx_tm_rtm_delete, TxId, Decision} = Msg, State) ->
      ?TRACE("tx_tm_rtm:on({delete, ~p, ~p}) in ~p ~n",
             [TxId, Decision, state_get_role(State)]),
      {ErrCode, TxState} = get_tx_entry(TxId, State),
  
negative.code:             %% @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 ->
  