anchor.diff: -% @copyright 2011 Zuse Institute Berlin
  +% @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.
  
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
  