anchor.diff:                || {TLogEntr, TxItem} <- TLog_TxItems,
                    ?abort =:= tx_item_state:get_decided(TxItem)]
       end,
  -    case tx_state:get_numabort(TxState) =:= length(Result) of
  +    case NumAbort =:= length(Result) of
           true -> ok;
           false ->
               ct:pal("This should not happen: ~p =/= ~p~n",
  -                   [tx_state:get_numabort(TxState), length(Result)])
  +                   [NumAbort, length(Result)])
       end,
       Result.
   
  
positive.code:                                                 {acceptor_add_learner,
                                                   PaxId, GLLearner})
                                        || X <- ValidAccs],
                                  Proposer =
                                      comm:make_global(get_my(Role, proposer)),
                                  proposer:start_paxosid(
                                    Proposer, PaxId, _Acceptors = ValidAccs, ?abort,
                                    Maj, length(ValidAccs) + 1, ThisRTMsNumber),
  
negative.code:     %% be used
      Tid = tx_state:get_tid(TxState),
      RTMs = tx_state:get_rtms(TxState),
      CleanRTMs = [ X || {X} <- rtms_get_rtmpids(RTMs) ],
      Accs = [ X || {X} <- rtms_get_accpids(RTMs) ],
      TM = comm:this(),
      _ = [ begin
  