anchor.diff:          ?implies(not intervals:is_empty(SA), not intervals:is_empty(SB)).
   
   tester_find_intersection(_) ->
  -    tester:test(?MODULE, prop_find_intersection, 4, 120, [{threads, 4}]).
  +    tester:test(?MODULE, prop_find_intersection, 4, 1000, [{threads, 4}]).
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   % Helper Functions
  
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:                                io_lib:format("B=~p ; Coded=~p ; DecodedB=~p", [B, Coded, DB])).
  
  tester_blob_coding(_) ->
      tester:test(?MODULE, prop_blob_coding, 2, 100, [{threads, 4}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  