anchor.diff:      BenchPid = erlang:spawn(fun() -> bench:increment(10, 10000) end),
       tester:test(?MODULE, prop_symm4_slide_pred_rcv_load_timeouts_pred, 1, 25),
       unittest_helper:check_ring_load(440),
  -    unittest_helper:check_data(),
  +    unittest_helper:check_ring_data(),
       erlang:exit(BenchPid, 'kill'),
       util:wait_for_process_to_die(BenchPid).
   
  
positive.code:     BenchPid = erlang:spawn(fun() -> bench:increment(10, 10000) end),
      tester:test(?MODULE, prop_symm4_slide_succ_rcv_load_timeouts_node, 1, 25),
      unittest_helper:check_ring_load(440),
      unittest_helper:check_data(),
      erlang:exit(BenchPid, 'kill'),
      util:wait_for_process_to_die(BenchPid).
  
  
negative.code:     BenchPid = erlang:spawn(fun() -> bench:increment(10, 10000) end),
      tester:test(?MODULE, prop_symm4_slide_succ_send_load_timeouts_node, 1, 25),
      unittest_helper:check_ring_load(440),
      unittest_helper:check_ring_data(),
      erlang:exit(BenchPid, 'kill'),
      util:wait_for_process_to_die(BenchPid).
  
  