anchor.diff:      %% tx decisions
       %% modify DB and then do operations on the changed DB
       %% quorum reads should alway succeed
  -    [abort_prepared(0, read, [MC1, MC2, MC3, MC4], ok)
  +    [ begin
  +          Key = init_new_db_key("abort_prepared_r"),
  +          abort_prepared(Key, read, [MC1, MC2, MC3, MC4], ok)
  +      end
        || MC1 <- causes(), MC2 <- causes(),
           MC3 <- causes(), MC4 <- causes()],
       ok.
  
positive.code:     %% check all combinations of abort / prepared and the corresponding
      %% tx decisions
      %% modify DB and then do operations on the changed DB
      [abort_prepared(0, write, [MC1, MC2, MC3, MC4],
                      calc_w_outcome([MC1, MC2, MC3, MC4]))
        || MC1 <- causes(), MC2 <- causes(),
           MC3 <- causes(), MC4 <- causes()],
      ok.
  
negative.code:                            io_lib:format("~p with ~p and~nDB entries initial: ~p~nafter preops ~p~n and after operation ~p~n",
                                           [Op, PreOps, DBEntries, NewDBEntries, get_db_entries(Keys)]))
      end,
     ok.
  
  calc_w_outcome(PreOps) ->
  