anchor.diff:                                 io_lib:format("B=~p ; Coded=~p ; DecodedB=~p", [B, Coded, DB])).
   
   tester_blob_coding(_) ->
  -    tester:test(?MODULE, prop_blob_coding, 2, 50, [{threads, 4}]).
  +    tester:test(?MODULE, prop_blob_coding, 2, 100, [{threads, 4}]).
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  
positive.code: 
  tester_get_key_quadrant(_) ->
      _ = [prop_get_key_quadrant(Key) || Key <- ?RT:get_replica_keys(?MINUS_INFINITY)],
      tester:test(?MODULE, prop_get_key_quadrant, 1, 16, [{threads, 4}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  
negative.code:     end.
      
  tester_map_interval(_) ->
      _ = [prop_map_interval(intervals:all(), I) || I <- lists:seq(1, 4)],
      tester:test(?MODULE, prop_map_interval, 2, 100, [{threads, 4}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec prop_map_key_to_interval(intervals:interval(), ?RT:key()) -> boolean().
  prop_map_key_to_interval(I, Key) ->
      Mapped = rr_recon:map_key_to_interval(Key, I),
      RGrp = ?RT:get_replica_keys(Key),
      InGrp = [X || X <- RGrp, intervals:in(X, I)],
      case intervals:in(Key, I) of
          true ->
              ?equals_w_note(Mapped, Key,
                             io_lib:format("Violation: if key is in i than mapped key equals key!~n"
                                               "Key=~p~nMapped=~p", [Key, Mapped]));
          false when Mapped =/= none ->
              ?compare(fun erlang:'=/='/2, InGrp, []),
              case InGrp of
                  [W] -> ?equals(Mapped, W);
                  [_|_] ->
                      NotIn = [Y || Y <- RGrp, Y =/= Key, not intervals:in(Y, I)],
  %%                     ct:pal("prop_map_key_to_interval(~p, ~p)~nmapped: ~p~nnot in: ~w",
  %%                            [I, Key, Mapped, NotIn]),
                      _ = [begin
                               MapZ = rr_recon:map_key_to_interval(Z, I),
  %%                              ct:pal("~p -> ~p", [Z, MapZ]),
                               ?compare(fun erlang:'=/='/2, MapZ, Mapped)
                           end
                           || Z <- NotIn], 
                      ?assert(intervals:in(Mapped, I))
              end;
          _ -> ?equals(InGrp, [])
      end.
  
  tester_map_key_to_interval(_) ->
      [Q1, Q2, Q3 | _] = ?RT:get_replica_keys(?MINUS_INFINITY), 
      prop_map_key_to_interval(intervals:new('[', Q1, Q2, ']'), Q1), 
      prop_map_key_to_interval(intervals:new('[', Q1, Q2, ']'), Q2),
      prop_map_key_to_interval(intervals:new('[', Q1, Q2, ']'), Q3),
      tester:test(?MODULE, prop_map_key_to_interval, 2, 1000, [{threads, 4}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  