anchor.diff:      %% be used
       Tid = tx_state:get_tid(TxState),
       RTMs = tx_state:get_rtms(TxState),
  -    CleanRTMs = [ X || {X} <-rtms_get_rtmpids(RTMs) ],
  +    CleanRTMs = [ X || {X} <- rtms_get_rtmpids(RTMs) ],
       Accs = [ X || {X} <- rtms_get_accpids(RTMs) ],
       TM = comm:this(),
       _ = [ begin
  
positive.code: 
  -spec get_failed_keys(tx_state:tx_state(), state()) -> [client_key()].
  get_failed_keys(TxState, State) ->
      Result =
      case tx_state:get_numabort(TxState) of
          0 -> [];
          _ ->
              TLogTxItemIds = tx_state:get_tlog_txitemids(TxState),
  
negative.code:                                                 {acceptor_add_learner,
                                                   PaxId, GLLearner})
                                        || X <- ValidAccs],
                                  proposer:start_paxosid(
                                    Proposer, PaxId, _Acceptors = ValidAccs, ?abort,
                                    Maj, length(ValidAccs) + 1, ThisRTMsNumber),
  