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: 
  synchronous_join(TargetSize) ->
      AllDHTNodes = pid_groups:find_all(dht_node),
      _ = add_bp_on_successful_split(),
      _ = add_bp_on_successful_handover(),
      _ = api_vm:add_nodes(1),
      log:log("wait for successful split"),
      wait_for_successful_split(),
      _ = delete_bp_on_successful_split(AllDHTNodes),
      log:log("wait for successful handover"),
      wait_for_successful_handover(),
      _ = delete_bp_on_successful_handover(AllDHTNodes),
      log:log("wait for ring size ~w", [TargetSize]),
      lease_helper:wait_for_ring_size(TargetSize),
      log:log("wait for ring to stabilize in sync. join"),
  