anchor.diff:      ct:pal("# unique replicas: min:~w; max:~w~n", [Min, Max]),
       ct:pal("PRBR state ~w:~nFormat [{Value, [list_of_dht_nodes_value_is_stored_in]}]~n"
              "~100p", [DB, GroupedValues]),
  -    case length(Bad) of
  -        0 -> true;
  -        _ -> S = io_lib:format("entries with not enough replicas (round:~w, db=~w)", [Round, DB]),
  -             S2 = lists:flatten(S),
  -             ct:fail(S2) %% 14B04 ...
  -    end,
  -    ok.
  +    case MayCrash of
  +        true ->
  +            case length(Bad) of
  +                0 -> true;
  +                _ -> S = io_lib:format("entries with not enough replicas (round:~w, db=~w)",
  +                                       [Round, DB]),
  +                     S2 = lists:flatten(S),
  +                     ct:fail(S2) %% 14B04 ...
  +            end;
  +        _ -> ok
  +    end.
   
   print_leases_data(Round) ->
  -    _ = [print_prbr_data({lease_db, I}, Round) || I <-
  +    _ = [print_prbr_data({lease_db, I}, Round, false) || I <-
                                lists:seq(1, config:read(replication_factor))].
   
   print_element_data(Id, DB) ->
  
positive.code:             ct:pal("Missing elements are:~n~w", [Missing]),
              ct:pal("Printing missing element data..."),
              [print_element_data(E, kv_db) || E <- Missing],
              print_prbr_data(kv_db, Round),
  
              100 = X
      end.
  
negative.code:             _ = repair_replicas(),
  
              ct:pal("PRBR state after calling repair_replicas"),
              print_prbr_data(kv_db, Round, true),
              _ = print_leases_data(Round),
  
              %% add node to reform ring_size() node ring
  