anchor.diff:  %
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  -synchronous_kill(Current, Current) ->
  -    ok;
  -synchronous_kill(Current, _TargetSize) ->
  +synchronous_kill(Current) ->
       _ = api_vm:kill_nodes(1),
       ct:pal("wait for ring size"),
       lease_helper:wait_for_ring_size(Current - 1),
  
positive.code:                                   tester_type_check_rm_leases
                                ]},
       {kill_tests,     [sequence], [
                                    test_single_kill,
                                    test_double_kill
                                 ]},
       {add_tests,      [sequence], [
                                    test_single_add,
  
negative.code: 
  
  test_single_kill(_Config) ->
      case config:read(replication_factor) < 4 of
          true ->
              lo:log("skipped: this test case is likely to fail for small replication factors"),
              ok;
          false ->
              NrOfNodes = api_vm:number_of_nodes(),
              log:log("kill nodes", []),
              synchronous_kill(NrOfNodes),
              %% timer:sleep(5000), % enable to see rest of protocol
              ok
      end.
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %
  