anchor.diff:  %% Helper
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  --spec fill_bloom(Iterator, InnerBloom1, LeafBloom1) -> {InnerBloom2, LeafBloom2} when
  -      is_subtype(Iterator,    merkle_tree:mt_iter()),
  -      is_subtype(InnerBloom1, ?REP_BLOOM:bloom_filter()),
  -      is_subtype(LeafBloom1,  ?REP_BLOOM:bloom_filter()),
  -      is_subtype(InnerBloom2, ?REP_BLOOM:bloom_filter()),
  -      is_subtype(LeafBloom2,  ?REP_BLOOM:bloom_filter()).
  +-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
  
positive.code:     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)]),    
      {art, Config, merkle_tree:get_interval(Tree), IBF, LBF}.    
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
negative.code: % @copyright 2011,2012 Zuse Institute Berlin
  %
  %   Licensed under the Apache License, Version 2.0 (the "License");
  %   you may not use this file except in compliance with the License.
  