anchor.diff:      prop_tlog_add_del_on_list2(api_tx:new_tlog(), Key, Initial, true, ToAdd, ToRemove).
   
   tester_tlog_add_del_on_list_maybe_invalid(_Config) ->
  -    tester:test(?MODULE, prop_tlog_add_del_on_list_maybe_invalid, 4, 10000).
  +    tester:test(?MODULE, prop_tlog_add_del_on_list_maybe_invalid, 4, 5000).
   
   -spec prop_tlog_add_on_nr2(TLog::tx_tlog:tlog(), Key::client_key(), Existing::boolean(), Initial::client_value(), ToAdd::client_value()) -> true | no_return().
   prop_tlog_add_on_nr2(TLog0, Key, Existing, Initial, ToAdd) ->
  
positive.code:     prop_add_on_nr2(Key, Existing, OldValue, ToAdd).
  
  tester_add_on_nr_not_existing(_Config) ->
      tester:test(?MODULE, prop_add_on_nr_not_existing, 2, 10000).
  
  -spec prop_add_on_nr(Key::client_key(), Initial::client_value(), ToAdd::number()) -> true | no_return().
  prop_add_on_nr(Key, Initial, ToAdd) ->
  
negative.code:     prop_add_del_on_list2(Key, Initial, true, ToAdd, ToRemove).
  
  tester_add_del_on_list_maybe_invalid(_Config) ->
      tester:test(?MODULE, prop_add_del_on_list_maybe_invalid, 4, 5000).
  
  -spec prop_add_on_nr2(Key::client_key(), Existing::boolean(), Initial::client_value(), ToAdd::client_value()) -> true | no_return().
  prop_add_on_nr2(Key, Existing, Initial, ToAdd) ->
  