anchor.diff:  %%
   
   backends() ->
  -    [hyper_gb, hyper_array, hyper_bisect, hyper_binary, hyper_binary_rle].
  +    [hyper_gb, hyper_array, hyper_bisect, hyper_binary].
   
   
   gen_values() ->
  
positive.code:     Array  = hyper:compact(hyper:insert_many(Values, hyper:new(P, hyper_array))),
      Bisect = hyper:compact(hyper:insert_many(Values, hyper:new(P, hyper_bisect))),
      Binary = hyper:compact(hyper:insert_many(Values, hyper:new(P, hyper_binary))),
      Rle    = hyper:compact(hyper:insert_many(Values, hyper:new(P, hyper_binary_rle))),
  
      {hyper_gb    , GbRegisters}     = Gb#hyper.registers,
      {hyper_array , ArrayRegisters}  = Array#hyper.registers,
      {hyper_bisect, BisectRegisters} = Bisect#hyper.registers,
      {hyper_binary, BinaryRegisters} = Binary#hyper.registers,
      {hyper_binary_rle, RleRegisters} = Rle#hyper.registers,
  
      %% error_logger:info_msg("Gb:     ~p~nArray:  ~p~nBisect: ~p~nBinary: ~p~n",
      %%                       [hyper_gb:encode_registers(GbRegisters),
      %%                        hyper_array:encode_registers(ArrayRegisters),
      %%                        hyper_bisect:encode_registers(BisectRegisters),
      %%                        hyper_binary:encode_registers(BinaryRegisters)]),
  
  
      ExpectedRegisters = lists:foldl(
                            fun (Value, Registers) ->
  
negative.code: 
  prop_serialize() ->
      ?FORALL(
         {LeftMod, RightMod, P}, {oneof(backends()),
                                  oneof(backends()),
                                  choose(4, 16)},
         ?FORALL(
            Values, gen_values(),
            begin
                Left = hyper:compact(
                         hyper:insert_many(Values, hyper:new(P, LeftMod))),
                Right = hyper:compact(
                          hyper:insert_many(Values, hyper:new(P, RightMod))),
  
                hyper:to_json(Left) =:= hyper:to_json(Right)
            end)).
  
  %%
  