anchor.diff:                          ownerLocalPid = Owner,
                           dest_rr_pid = DestRU_Pid,
                           struct = #bloom_recon_struct{ interval = BloomI, 
  -                                                            keyBF = KeyBF,
  -                                                            versBF = VersBF},
  +                                                      bloom = BF},
                           round = Round }) ->
       %if rest interval is non empty start another sync    
       SyncFinished = intervals:is_empty(RestI),
  
positive.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  % @ doc filter, partition and map items of a list in one run
  -spec filterPartitionMap(Filter::Fun, Partition::Fun, Map::Fun, List) -> {True::List, False::List} when
       is_subtype(Fun,  fun((A) -> boolean())),
       is_subtype(List, [A]).                                                                                                     
  filterPartitionMap(Filter, Pred, Map, List) ->
      filterPartitionMap(Filter, Pred, Map, List, [], []).
  
  filterPartitionMap(_, _, _, [], TrueL, FalseL) -> {TrueL, FalseL};
  filterPartitionMap(Filter, Pred, Map, [H | T], TrueL, FalseL) ->
      {Satis, NonSatis} = 
          case Filter(H) of
              true -> case Pred(H) of
                          true -> {[Map(H) | TrueL], FalseL};
                          false -> {TrueL, [Map(H) | FalseL]}
                      end;        
              false -> {TrueL, FalseL}
          end,
      filterPartitionMap(Filter, Pred, Map, T, Satis, NonSatis).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec start_to_dest(MyI, Req, State) -> ok 
  when
    is_subtype(MyI,     intervals:interval()),
  
negative.code:     Fpr = get_fpr(),
      ElementNum = length(DBItems),
      HFCount = bloom:calc_HF_numEx(ElementNum, Fpr),
      BF = ?REP_BLOOM:new(ElementNum, Fpr, ?REP_HFS:new(HFCount), DBItems),
      #bloom_recon_struct{ interval = mapInterval(I, 1), bloom = BF };
  build_recon_struct(merkle_tree, {I, DBItems}) ->
      merkle_tree:new(I, DBItems, []);
  build_recon_struct(art, Chunk) ->
      Tree = build_recon_struct(merkle_tree, Chunk),
      art:new(Tree).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  % HELPER
  