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:                     ?equals(ExpResAlone, element(2, api_tx:req_list(ReqsAlone)))
              end,
              % further tests for the individual requests' properties
              case Req of
                  {write, _Key, Value} ->
                      ?equals(tx_tlog:get_entry_status(NewEntry),
                              ?value),
                      ?equals(tx_tlog:get_entry_value(NewEntry),
                              rdht_tx:encode_value(Value)),
                      ?equals(NRes, [{ok}]);
                  {read, _Key} ->
                      ?equals(TLog, NTLog),
                      case tx_tlog:get_entry_operation(OldEntry) of
                          ?read ->
  