anchor.diff:           bloom    = ?required(bloom_recon_struct, bloom)    :: ?REP_BLOOM:bloom_filter()         
           }).
   
  --type internal_params() :: {reconPid, comm:mypid()} |
  -                           {art, art:art()}.
  +-type internal_param() :: {reconPid, comm:mypid()}.
   
   -type sync_struct() :: #bloom_recon_struct{} |
                          merkle_tree:merkle_tree() |
                          art:art().
   -type parameters() :: sync_struct() |
  -                      [internal_params()] |
  +                      [internal_param()] |
                         [merkle_tree:mt_node()].
   -type recon_dest() :: ?RT:key() | random.
   
  
positive.code:        true         -> NewState
      end;
  
  on({continue, Method, Stage, Struct, Initiator} = _Msg, State) ->
      ?TRACE1(_Msg, State),
      send_local(State#rr_recon_state.dhtNodePid, {get_state, comm:this(), my_range}),
  
negative.code: 
  -type request() :: 
      {start, method(), DestKey::recon_dest()} |
      {create_struct, method(), SenderI::intervals:interval(), parameters(), RcvInitiator::boolean()} |
      {start_recon, bloom, #bloom_recon_struct{}, RcvInitiator::boolean()} |
      {start_recon, art, art:art(), RcvInitiator::boolean()} |
      {continue, method(), stage(), parameters(), Initiator::boolean()}.
  
  -type message() ::          
  