anchor.diff:         [begin
               Title = lists:flatten(
                         io_lib:format(
  -                        "11->13: replicas: ~p, vbuckets: ~p, limit: ~p, countdown: ~p, add: ~p",
  -                        [R, VBs, L, C, [In1, In2]])),
  +                        "11->13: replicas: ~p, vbuckets: ~p, limit: ~p, countdown: ~p, maxmoves: ~p, add: ~p",
  +                        [R, VBs, L, C, M, [In1, In2]])),
               Fun = fun () ->
                             Before = Nodes -- [In1, In2],
  -                          test_rebalance(R, VBs, L, C, C, Before, Nodes)
  +                          test_rebalance(R, VBs, L, C, M, Before, Nodes)
                     end,
               {timeout, 120, {Title, Fun}}
           end || R <- [1,0,2],
                  VBs <- [64, 256],
                  L <- [1,2],
                  C <- [2,3],
  +               M <- [2,3],
                  In1 <- Nodes,
                  In2 <- Nodes,
                  In1 =/= In2,
  
positive.code: 
  -include_lib("eunit/include/eunit.hrl").
  
  -export([prepare_verifier/3, choose_action/1, extract_progress/1,
          note_backfill_done/2,
          note_move_completed/2,
          note_compaction_done/2,
  
negative.code: 
  -record(vs, { %% vs is verifier state
            max_backfills_per_node :: pos_integer(),
            max_moves_per_node :: pos_integer(),
            moves_before_compaction :: pos_integer(),
            sched_state :: tuple(),
            all_performed_moves :: list(),
  