anchor.diff:              % should be the same as if there was no abort!
               TmpTLogEntry = tx_tlog:set_entry_status(OldEntry, ?value),
               Note = io_lib:format("Entry: ~.0p, Req: ~.0p, RingVal: ~.0p", [OldEntry, Req, RingVal]),
  -            case element(1, Req) of
  -                read when element(3, Req) =:= random_from_list ->
  +            case Req of
  +                {read, _Key, random_from_list} ->
                       case NRes of
                           [{ok, {RandomVal, ListLength}}] ->
                               NewValue =
  
positive.code:                             ?equals(tx_tlog:get_entry_value(OldEntry),
                                      tx_tlog:get_entry_value(NewEntry))
                      end;
                  add_del_on_list ->
                      case hd(NRes) of
                          {ok} ->
                              ?equals(?value,
  
negative.code:                         ValueAfterWrite = rdht_tx:decode_value(tx_tlog:get_entry_value(OldEntry)),
                          {[{ok}, hd(NRes)], [{write, element(2, Req), ValueAfterWrite}, Req]}
                  end,
              case Req of
                  {read, _Key0, random_from_list} ->
                      case NRes of
                          [{fail, _}] ->
                              ?equals(ExpResAlone, element(2, api_tx:req_list(ReqsAlone)));
                          [{ok, {_RandomVal, _ListLength}}] ->
                              % the only thing guaranteed here is that it must also be {ok, _}
                              case length(ExpResAlone) of
                                  2 -> ?equals_pattern(element(2, api_tx:req_list(ReqsAlone)), [{ok}, {ok, _}]);
  