anchor.diff:                             dest_rr_pid = DestRRPid,   ownerPid = OwnerL,
                              dest_recon_pid = DestRCPid,
                              stats = Stats}) when is_bitstring(Hashes) ->
  +    ?TRACE1(_Msg, State),
       {HashesReply, BinKeyList, NStats} =
           merkle_resolve_leaves_init(MerkleSync, Hashes, DestRRPid, Stats, OwnerL),
       comm:send(DestRCPid, {resolve_req, HashesReply, BinKeyList}),
  
positive.code:           {My::inner, Other::leaf,  SigSize::signature_size(), LeafNodes::[merkle_tree:mt_node()],
             FoundHash::boolean()} |
            {My::leaf,  Other::leaf,  SigSize::signature_size(), LeafNode::merkle_tree:mt_node()} |
            {My::leaf,  Other::inner, SigSize::signature_size(), LeafNode::merkle_tree:mt_node()}.
  
  -record(rr_recon_state,
          {
  
negative.code:     merkle_resolve_req_keys_noninit(TL, NHashes, BinKeyList, DestRRPid, NStats,
                                      OwnerL, ToSend1, ToReq1, ToResolve1,
                                      ResolveNonEmpty1, BKLNonEmpty);
  merkle_resolve_req_keys_noninit([_ | TL], Hashes, BinKeyList, DestRRPid,
                                  Stats, OwnerL, ToSend, ToReq, ToResolve,
                                  ResolveNonEmpty, BKLNonEmpty) ->
      % already resolved by initiator / in first step or optimised empty BinKeyList
      merkle_resolve_req_keys_noninit(TL, Hashes, BinKeyList, DestRRPid, Stats,
                                      OwnerL, ToSend, ToReq, ToResolve,
                                      ResolveNonEmpty, BKLNonEmpty);
  merkle_resolve_req_keys_noninit([], <<>>, [], DestRRPid, Stats, OwnerL,
                                  ToSend, ToReq, ToResolve, ResolveNonEmpty,
                                  _BKLNonEmpty) ->
  