anchor.diff:          Stats, OwnerL::comm:erl_local_pid(), SendKeysAcc::[?RT:key()])
           -> NewStats::Stats
       when is_subtype(Stats, rr_recon_stats:stats()).
  -merkle_resolve_req_keys_noninit([{leaf, leaf, _SigSize, _LeafNode} | TL],
  +merkle_resolve_req_keys_noninit([{leaf, X, _SigSize, _LeafNode} | TL],
                           [[] | BinKeyList],
  -                        DestRRPid, Stats, OwnerL, SendKeys) ->
  +                        DestRRPid, Stats, OwnerL, SendKeys)
  +  when X =:= leaf orelse X =:= inner ->
       merkle_resolve_req_keys_noninit(TL, BinKeyList, DestRRPid, Stats, OwnerL,
                                       SendKeys);
  -merkle_resolve_req_keys_noninit([{leaf, leaf, SigSize0, LeafNode} | TL],
  +merkle_resolve_req_keys_noninit([{leaf, X, SigSize0, LeafNode} | TL],
                           [[_|_] = ReqKeys | BinKeyList],
  -                        DestRRPid, Stats, OwnerL, SendKeys) ->
  +                        DestRRPid, Stats, OwnerL, SendKeys)
  +  when X =:= leaf orelse X =:= inner ->
       ReqSet = gb_sets:from_list(ReqKeys),
       {SigSize, _VSize} = align_bitsize(SigSize0, get_min_version_bits()),
       SendKeys1 = [Key || {Key, _Version} <- merkle_tree:get_bucket(LeafNode),
  
positive.code:                     end, {Interval, Items, LeafNAcc}, LeafNodes),
      merkle_resolve_leaves_noninit(TL, Bin, Dest, SID, OwnerL, NInterval, NItems,
                                    NLeafNAcc);
  merkle_resolve_leaves_noninit([{leaf, leaf, SigSize0, LeafNode} | TL], Bin,
                                Dest, SID, OwnerL, Interval, Items, LeafNAcc) ->
      ?ASSERT(merkle_tree:is_leaf(LeafNode)),
      % TODO: make extra version binary for better compression (?)
      % TODO: use formulae of compress_kv_list_p1e/4 for the version size (?) - have to have the same info on the other node!
  
negative.code:         LeafNodesAcc::non_neg_integer())
          -> {Hashes::bitstring(), ResolveRequests::0..1,
              LeafNodes::non_neg_integer()}.
  merkle_resolve_leaves_noninit([{inner, leaf, _SigSize, LeafNodes} | TL], Bin,
                                Dest, SID, OwnerL, Interval, Items, LeafNAcc)
    when is_list(LeafNodes) ->
  