anchor.diff:      InnerBF = ?REP_BLOOM:new(InnerCount, proplists:get_value(inner_bf_fpr, Config)),
       LeafBF = ?REP_BLOOM:new(LeafCount, proplists:get_value(leaf_bf_fpr, Config)),
       {IBF, LBF} = fill_bloom(merkle_tree:iterator(Tree), InnerBF, LeafBF),
  -    ?TRACE("INNER=~p~nLeaf=~p", [?REP_BLOOM:print(IBF), 
  -                                 ?REP_BLOOM:print(LBF)]),    
  +    ?TRACE("INNER=~p~nLeaf=~p", [?REP_BLOOM:print(IBF), ?REP_BLOOM:print(LBF)]),    
       {art, Config, merkle_tree:get_interval(Tree), IBF, LBF}.    
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
positive.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  -spec new() -> art().
  new() -> {art, default_art_config(), intervals:empty(), empty, empty}.
  
  -spec new(merkle_tree:merkle_tree()) -> art().
  new(Tree) ->
  
negative.code: %% Helper
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec fill_bloom(Iterator, Inner1::BF, Leaf1::BF) -> {Inner2::BF, Leaf2::BF} when
        is_subtype(Iterator,  merkle_tree:mt_iter()),
        is_subtype(BF,        ?REP_BLOOM:bloom_filter()).
  fill_bloom(Iter, IBF, LBF) ->
      Next = merkle_tree:next(Iter),
      case Next of
  