anchor.diff:  %%
   
   backends() ->
  -    [hyper_gb, hyper_array, hyper_bisect, hyper_binary].
  +    [hyper_gb, hyper_array, hyper_bisect, hyper_binary, hyper_carray].
   
   
   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))),
  
      {hyper_gb    , GbRegisters}     = Gb#hyper.registers,
      {hyper_array , ArrayRegisters}  = Array#hyper.registers,
      {hyper_bisect, BisectRegisters} = Bisect#hyper.registers,
      {hyper_binary, BinaryRegisters} = Binary#hyper.registers,
  
      ExpectedRegisters = lists:foldl(
                            fun (Value, Registers) ->
  
negative.code:       ?_test(small_big_union_t()),
        ?_test(intersect_card_t()),
        ?_test(bad_serialization_t()),
        {"Union property with hyper_carry", RunProp(prop_union(hyper_carray))},
        {"Union property with hyper_binary", RunProp(prop_union(hyper_binary))},
        {"Union property with hyper_array", RunProp(prop_union(hyper_array))},
        {"Union property with hyper_bisect", RunProp(prop_union(hyper_bisect))},
  