anchor.diff:                              dest_recon_pid = DestReconPid }) ->
       ?ASSERT(comm:is_valid(DestReconPid)),
       {Result, RestTree, ToResolve} = check_node(ToCheck, Tree),
  +    {Result1, HashKeys} = merkle_compress_cmp_result(Result, <<>>, []),
       ToResolveLength = length(ToResolve),
       NStats = if ToResolveLength > 0 ->
                       SID = rr_recon_stats:get(session_id, Stats),
  
positive.code:          }).
  -type state() :: #rr_recon_state{}.
  
  -define(recon_ok,         1).
  -define(recon_fail_stop,  2).
  -define(recon_fail_cont,  3).
  
  -type merkle_cmp_result()  :: ?recon_ok |
                                ?recon_fail_stop |
  
negative.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  % Merkle Tree specific
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  %% @doc Transforms merkle compare results into a compact representation for
  %%      transfer.
  -spec merkle_compress_cmp_result(CmpRes, Bin, CmpRes) -> {Bin, [merkle_tree:mt_node_key()]}
      when is_subtype(Bin, binary()),
           is_subtype(CmpRes, [merkle_cmp_result()]).
  merkle_compress_cmp_result([], Bin, Keys) ->
      {Bin, lists:reverse(Keys)};
  merkle_compress_cmp_result([H1 | TL], Bin, Keys) ->
      case H1 of
          {K} ->
              merkle_compress_cmp_result(TL, <<Bin/bitstring, ?recon_fail_cont2:2>>,
                                         [K | Keys]);
          _ ->
              ?ASSERT(is_integer(H1) andalso 0 =< H1 andalso H1 < 4),
              merkle_compress_cmp_result(TL, <<Bin/bitstring, H1:2>>, Keys)
      end.
  
  %% @doc Transforms the compact representation of merkle compare results from
  %%      merkle_compress_cmp_result/3 back into the original form.
  -spec merkle_decompress_cmp_result(binary(), [merkle_tree:mt_node_key()], CmpRes) -> CmpRes
      when is_subtype(CmpRes, [merkle_cmp_result()]).
  merkle_decompress_cmp_result(<<>>, [], CmpRes) ->
      lists:reverse(CmpRes);
  merkle_decompress_cmp_result(<<?recon_fail_cont2:2, T/bitstring>>, [K | Keys], CmpRes) ->
      merkle_decompress_cmp_result(T, Keys, [{K} | CmpRes]);
  merkle_decompress_cmp_result(<<X:2, T/bitstring>>, Keys, CmpRes) ->
      merkle_decompress_cmp_result(T, Keys, [X | CmpRes]).
  
  %% @doc Compares the given Hashes from the other node with my merkle_tree nodes
  %%      (executed on non-initiator).
  