anchor.diff:      true.
   
   tester_lookup(_) ->
  -    tester:test(?MODULE, prop_lookup, 2, 10, [{threads, 2}]).
  +    tester:test(?MODULE, prop_lookup, 2, 100, [{threads, 2}]).
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  
positive.code:     ?equals(Size, Inner + Leafs).
      
  tester_size(_) ->
    tester:test(?MODULE, prop_size, 3, 10, [{threads, 1}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  
negative.code:     ?equals(merkle_tree:size(Tree2), Branch + 1).
  
  tester_branch_bucket(_) ->
      tester:test(?MODULE, prop_branch_bucket, 4, 10, [{threads, 2}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  