anchor.diff:                 { 1, {call, ?MODULE, change_partitions,
                        [gen_old_threshold(), gen_no_partition_threshold()]}},
                  {50, {call, ?MODULE, do_ticks,
  -                     %% [choose(5, 200), S#state.pids,
  -                     [choose(5, 10), S#state.pids,
  +                     [choose(5, 50), S#state.pids,
                         gen_old_threshold(), gen_no_partition_threshold()]}}
                 ]).
   
  
positive.code:                        {call, ?MODULE, private_stable_check, []}}],
          LastTriggerTicks = {set,{var,99999997},
                              {call, ?MODULE, do_ticks, [123, undefined, no, no]}},
          Cmds1 = lists:duplicate(2, LastTriggerTicks),
          Cmds = Cmds0 ++
                 Stabilize1 ++
                 Cmds1 ++
  
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) ->
  