anchor.diff:      FType = proplists:get_value(ftype, Config),
       {Start, End} = start_sync(Config, 4, 1000, [{fprob, 10}, {ftype, FType}], 
                                 1, 0.1, get_rep_upd_config(Method)),
  -    ?assert(sync_degree(Start) < sync_degree(End)).
  +    ?compare(fun erlang:'<'/2, sync_degree(Start), sync_degree(End)).
   
   multi_round(Config) ->
       Method = proplists:get_value(ru_method, Config),
       FType = proplists:get_value(ftype, Config),
       {Start, End} = start_sync(Config, 6, 1000, [{fprob, 10}, {ftype, FType}], 
                                 3, 0.1, get_rep_upd_config(Method)),
  -    ?assert(sync_degree(Start) < sync_degree(End)).
  +    ?compare(fun erlang:'<'/2, sync_degree(Start), sync_degree(End)).
   
   multi_round2(Config) ->
       Method = proplists:get_value(ru_method, Config),
  
positive.code:                 [W] -> ?equals(Mapped, W);
                  [_|_] ->
                      NotIn = [Y || Y <- RGrp, Y =/= Key, not intervals:in(Y, I)],
                      _ = [?assert(rr_recon:map_key_to_interval(Z, I) =/= Mapped) || Z <- NotIn], 
                      ?assert(intervals:in(Mapped, I))
              end;
          _ -> true
  
negative.code:                                 _ -> Acc
                              end
                      end, {no, 1}, QI),
      ?compare(fun erlang:'>'/2, Q, 0),
      ?compare(fun erlang:'=<'/2, Q, ?REP_FACTOR),
      ?equals(TestStatus, yes),
      ?equals_w_note(TestQ, Q, 
                     io_lib:format("Quadrants=~p~nKey=~w~nQuadrant=~w~nCheckQuadrant=~w", 
                                   [QI, Key, Q, TestQ])).
  
  tester_get_key_quadrant(_) ->
      _ = [prop_get_key_quadrant(Key) || Key <- ?RT:get_replica_keys(?MINUS_INFINITY)],
  