anchor.diff:  -spec prop_tree_hash(intervals:key(), intervals:key(), 1..100) -> true.
   prop_tree_hash(L, L, _) -> true;
   prop_tree_hash(L, R, ToAdd) ->
  -    %ct:pal("prop_tree_hash params: L=~p ; R=~p ; ToAdd=~p", [L, R, ToAdd]),
       I = intervals:new('[', L, R, ']'),
       DB = db_generator:get_db(I, ToAdd, uniform),
       
  
positive.code:     ?equals(merkle_tree:size(Tree2), Branch + 1).
  
  tester_branch_bucket(_) ->
      tester:test(?MODULE, prop_branch_bucket, 4, 10, [{threads, 1}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  
negative.code:     ?equals(Size, Inner + Leafs).
      
  tester_size(_) ->
    tester:test(?MODULE, prop_size, 3, 100, [{threads, 2}]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  