anchor.diff:  -define(fail_inner,  4).
   -define(omit,        9).
   
  --type merkle_cmp_result() :: ?ok_inner | ?ok_leaf | ?fail_leaf | ?fail_inner.
  --type merkle_cmp_requst() :: merkle_tree:mt_node_key() | ?omit.
  +-type merkle_cmp_result()  :: ?ok_inner | ?ok_leaf | ?fail_leaf | ?fail_inner.
  +-type merkle_cmp_request() :: merkle_tree:mt_node_key() | ?omit.
   
   -type request() :: 
       {start, method(), DestKey::recon_dest()} |
  
positive.code:                                  {resolve_started, Resolves}], NStats),
      CompLeft = rr_recon_stats:get(tree_compareLeft, FStats),
      if CompLeft =:= 0 ->
             %ct:pal("MERKLE - ~p", [FStats]),
             comm:send(DestReconPid, {shutdown, sync_finished_remote}),
             comm:send_local(self(), {shutdown, sync_finished});
         true -> ok
  
negative.code:         true -> p_check_node(L, [Tree], {[], []})
      end.
  
  -spec p_check_node([merkle_cmp_request()], [merkle_tree:mt_node()], Acc::Res) -> Res
      when
          is_subtype(Res, {[merkle_cmp_result()], [merkle_tree:mt_node()]}).
  p_check_node([], [], {AccR, AccN}) ->
  