anchor.diff:  
   tester_iter(_Config) ->
       %prop_iter(0, 10000001, 10000).
  -    tester:test(?MODULE, prop_iter, 3, 4, [{threads, 1}]).
  +    tester:test(?MODULE, prop_iter, 3, 100, [{threads, 2}]).
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  
positive.code:     true.
  
  tester_lookup(_) ->
      tester:test(?MODULE, prop_lookup, 2, 10, [{threads, 2}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  
negative.code:     ?equals(Size, Inner + Leafs).
      
  tester_size(_) ->
    tester:test(?MODULE, prop_size, 3, 100, [{threads, 2}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  