anchor.diff:             [
               {add_read_reply, 5},        % needs value matching db_type
               {send_to_all_replicas, 2},  % sends messages
  +            {send_to_all_replicas, 3},  % sends messages
               {send_to_local_replica, 2}, % sends messages
  +            {send_to_local_replica, 3},  % sends messages
               {start_request, 2},         % sends messages
               {inform_client, 3},         % cannot create valid envelopes
               {inform_client, 2},         % cannot create valid envelopes
  
positive.code:             {update_nth, 4}             % requires args in bounds
             ]
            },
            {gcounter_on_cseq,
             [],
             [{read_helper, 3},           % cannot create funs
              {write_helper, 3}           % cannot create funs
             ]
            },
            {pncounter, [],[] },
            {gcounter_on_cseq,
             [],
             [{read_helper, 3},           % cannot create funs
              {write_helper, 3}           % cannot create funs
             ]
            }
          ],
      _ = [ tester:type_check_module(Mod, Excl, ExclPriv, Count)
            || {Mod, Excl, ExclPriv} <- Modules ],
  
negative.code: 
      %% Start writers
      WriterCount = randoms:rand_uniform(1, 20),
      Count = 500 div WriterCount,
      WriteFun = fun
                      (I) when I div 2 == 0 -> ok = gcounter_on_cseq:inc(Key);
                      (_)                   -> ok = gcounter_on_cseq:inc_eventual(Key)
  