anchor.diff:                       rr_recon_stats:inc([{resolve_started, ResolveCalled}], Stats2);
                    false -> Stats
                end,
  -    {ok, rr_recon_stats:set([{tree_size, merkle_tree:size_detail(Tree)}], NStats)}.
  +    rr_recon_stats:set([{tree_size, merkle_tree:size_detail(Tree)}], NStats).
   
   -spec art_get_sync_leafs(Nodes::NodeL, Art, Stats, Acc::NodeL) -> {ToSync::NodeL, Stats} when
       is_subtype(NodeL,   [merkle_tree:mt_node()]),
  
positive.code: %% art recon
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec art_recon(MyTree, Art, State) -> {ok, Stats} when
      is_subtype(MyTree, merkle_tree:merkle_tree()),
      is_subtype(Art,    art:art()),
      is_subtype(State,  state()),
  
negative.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec build_struct(DBList::db_chunk_enc(), DestI::I, RestI::I, state()) -> state() | kill
            when is_subtype(I, intervals:interval()).
  build_struct(DBList, DestI, RestI,
               State = #rr_recon_state{method = RMethod, struct = Params,
  