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:     %% 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
  
negative.code: 
  -spec get_failed_keys(tx_state:tx_state(), state()) -> [client_key()].
  get_failed_keys(TxState, State) ->
      NumAbort = tx_state:get_numabort(TxState),
      Result =
      case NumAbort of
          0 -> [];
          _ ->
              TLogTxItemIds = tx_state:get_tlog_txitemids(TxState),
  