anchor.diff:      noshrink({choose(1, 10000), choose(1, 10000), choose(1, 10000)}).
   
   gen_old_threshold() ->
  -    noshrink(choose(1, 100)).
  +    noshrink(frequency([
  +                        {10, {keep}},
  +                        {10, choose(1, 100)},
  +                        {10, oneof([{island1}])},
  +                        {10, oneof([{asymm1}, {asymm2}, {asymm3}])}
  +                       ])).
   
   gen_no_partition_threshold() ->
       noshrink(choose(1, 100)).
  
positive.code:                           [begin
                                 erlang:yield(),
                                 M_name = P#p_srvr.name,
                                 Max = 10,
                                 Elapsed =
                                     ?MGR:sleep_ranked_order(1, Max, M_name, all_list()),
                                 Res = ?MGR:test_react_to_env(get_chmgr(P)),
  
negative.code:             undefined -> get(manager_pids_hack);
              _         -> PidsMaybe
          end,
      if is_atom(OldThreshold) ->
              ?QC_FMT("{e=~w},", [get_biggest_private_epoch_number(ProxiesDict)]),
              machi_partition_simulator:no_partitions();
         true ->
              change_partitions(OldThreshold, NoPartitionThreshold)
      end,
      Res = exec_ticks(Num, All_listE),
      if not is_integer(OldThreshold) ->
  