anchor.diff:              case Message of
                   {l_on_cseq, split_reply_step4, _L1, _R1, _R2, _Keep, _ReplyTo, _PostAux,
                    {qwrite_done, _ReqId, _Round, _L2}} ->
  -                    comm:send_local(Pid, successful_split),
  +                    comm:send_local(Pid, {successful_split}),
                       false;
                   {l_on_cseq, split_reply_step4, _L1, _R1, _R2, _Keep, _ReplyTo, _PostAux,
                    {qwrite_deny, _ReqId, _Round, _L2, {content_check_failed,
  
positive.code: 
  wait_for_successful_split() ->
      receive
          successful_split ->
              ok
      end.
  
  
negative.code: 
  wait_for_successful_handover() ->
      receive
          {successful_handover} ->
              ok
      end.
  
  