anchor.diff:      {create_struct2, DestI::intervals:interval(), {get_chunk_response, {intervals:interval(), db_chunk()}}} |
       {reconcile, {get_chunk_response, {intervals:interval(), db_chunk()}}} |
       % internal
  -    {shutdown, exit_reason()} | 
  +    {shutdown, exit_reason()} |
       {crash, DeadPid::comm:mypid()} |
       {'DOWN', MonitorRef::reference(), process, Owner::comm:erl_local_pid(), Info::any()}
       .
  
positive.code:     on({check_nodes, ToCheck}, NewState);
  
  on({check_nodes, ToCheck},
     State = #rr_recon_state{ struct = Tree, 
                              dest_recon_pid = SenderPid,
                              dest_rr_pid = DestNodePid,
                              stats = Stats,
  
negative.code: % Merkle Tree specific
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec check_node([merkle_cmp_request()], merkle_tree:merkle_tree() | NodeList)
          -> {[merkle_cmp_result()], RestTree::NodeList, ResolveReq::NodeList}
      when is_subtype(NodeList, [merkle_tree:mt_node()]).
  check_node(L, Tree) ->
  