anchor.diff:          end,
   
       RepairObject  = (catch build_merged_object(Heads, Objects)),
  -    RepairObjects = [ Obj || {vnode_put, _, {_, _, Obj, _, _}} <- RepairH ],
  +    RepairObjects = [ Obj || {vnode_put, _, {_, _, Obj, _, _, _}} <- RepairH ],
   
       conjunction(
           [{puts, equals(lists:sort(Expected), lists:sort(Actual))},
  
positive.code: 
  non_empty(G) ->
      ?SUCHTHAT(X, G, X /= [] andalso X /= <<>>).
  
  largenat() ->
      ?LET(X, largeint(), abs(X)).
  
negative.code:     ?FORALL({RSeed,NQdiff,Objects,ReqId,PartVals,NodeStatus0},
              {largenat(),choose(0,4096),
               riak_objects(), noshrink(largeint()),
               partvals(),at_least_one_up(longer_list(10, node_status()))},
      begin
          N = length(PartVals),
          R = (RSeed rem N) + 1,
  