anchor.diff:              lease_checker2:wait_for_clean_leases(500, [{ring_size, ring_size()-1}]),
   
               ct:pal("PRBR state after leases expired"),
  -            print_prbr_data(kv_db, Round, true),
  +            print_prbr_data(kv_db, Round, after_kill, true),
               _ = print_leases_data(Round),
   
               %% check data integrity
               ct:pal("check data integrity"),
  -            _ = check_data_integrity(Round),
  +            _ = check_data_integrity(Round, before_rrepair),
               %% "repair" replicas
               ct:pal("repair replicas"),
               _ = repair_replicas(),
   
               ct:pal("PRBR state after calling repair_replicas"),
  -            print_prbr_data(kv_db, Round, true),
  +            print_prbr_data(kv_db, Round, after_rrepair, true),
               _ = print_leases_data(Round),
   
               %% add node to reform ring_size() node ring
  
positive.code: 
  %%@doc Prints a list of tuples showing which value is stored in which dht node
  %%     Format : [{Value, [list_of_dht_nodes_value_is_stored_in]}]
  print_prbr_data(DB, Round, MayCrash) ->
      PrbrData = get_prbr_data(fun(NodePid, E) ->
                                  {prbr:entry_val(E), NodePid}
                               end, DB),
  
negative.code:     end.
  
  print_leases_data(Round) ->
      _ = [print_prbr_data({lease_db, I}, Round, leases_db, false) || I <-
                               lists:seq(1, config:read(replication_factor))].
  
  print_element_data(Id, DB) ->
  