anchor.diff:  
   -record(bloom_recon_struct, 
           {
  -         interval = intervals:empty()                     :: intervals:interval(), 
  -         keyBF    = ?required(bloom_recon_struct, keyBF)  :: ?REP_BLOOM:bloom_filter(),
  -         versBF   = ?required(bloom_recon_struct, versBF) :: ?REP_BLOOM:bloom_filter()         
  +         interval = intervals:empty()                       :: intervals:interval(), 
  +         bloom    = ?required(bloom_recon_struct, bloom)    :: ?REP_BLOOM:bloom_filter()         
           }).
   -type bloom_recon_struct() :: #bloom_recon_struct{}.
   
  
positive.code:                         ownerLocalPid = Owner,
                          dest_rr_pid = DestRU_Pid,
                          struct = #bloom_recon_struct{ interval = BloomI, 
                                                              keyBF = KeyBF,
                                                              versBF = VersBF},
                          round = Round }) ->
      %if rest interval is non empty start another sync    
      SyncFinished = intervals:is_empty(RestI),
  
negative.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec start_to_dest(MyI, Req, State) -> ok 
  when
    is_subtype(MyI,     intervals:interval()),
  