anchor.diff:  %%====================================================================
   
   prop_basic_put() ->
  -    ?FORALL({WSeed, DWSeed,
  +    ?FORALL({PWSeed, WSeed, DWSeed,
                Objects, ObjectIdxSeed,
                VPutResp,
                Options0, AllowMult, Precommit, Postcommit}, 
  -            {w_dw_seed(), w_dw_seed(),
  +            {w_dw_seed(), w_dw_seed(), w_dw_seed(),
                fsm_eqc_util:riak_objects(), fsm_eqc_util:largenat(),
                vnodeputresps(),
                options(),bool(), precommit_hooks(), postcommit_hooks()},
       begin
           N = length(VPutResp),
  +        {PW, RealPW} = w_dw_val(N, 1000000, PWSeed),
           {W, RealW} = w_dw_val(N, 1000000, WSeed),
           {DW, RealDW}  = w_dw_val(N, RealW, DWSeed),
   
  
positive.code: 
          %% Work out how the vnodes should respond and in which order
          %% the messages should be delivered.
          Options = fsm_eqc_util:make_options([{w, W}, {dw, DW}, {timeout, 200} | Options0], []),
          VPutReplies = make_vput_replies(VPutResp, Objects, Options),
          PL2 = make_preflist2(VPutResp, 1, []),
  
  
negative.code:         %% and returned to the client.
          EffDW = get_effective_dw(RealDW, Options, Postcommit),
          ExpectObject = expect_object(H, RealW, EffDW, AllowMult),
          {Expected, ExpectedPostCommits} = expect(H, N, PW, RealPW, W, RealW, DW, EffDW, Options,
                                                   Precommit, Postcommit, ExpectObject, PL2),
          ?WHENFAIL(
             begin
                 io:format(user, "BucketProps: ~p\n", [BucketProps]),
                 io:format(user, "VPutReplies = ~p\n", [VPutReplies]),
                 io:format(user, "N: ~p PW: ~p RealPW: ~pW:~p RealW: ~p DW: ~p RealDW: ~p EffDW: ~p"
                           " Pid: ~p\n",
                           [N, PW, RealPW, W, RealW, DW, RealDW, EffDW, PutPid]),
                 io:format(user, "Options: ~p\n", [Options]),
                 io:format(user, "Precommit: ~p\n", [Precommit]),
                 io:format(user, "Postcommit: ~p\n", [Postcommit]),
  