anchor.diff:      RUConf = [{rr_trigger_probability, 40} | proplists:delete(rr_trigger_probability, _RUConf)],
       {Start, End} = start_sync(Config, 6, 1000, [{fprob, 10}, {ftype, FType}], 
                                 3, 0.1, RUConf),
  -    ?assert(sync_degree(Start) < sync_degree(End)). 
  +    ?compare(fun erlang:'<'/2, sync_degree(Start), sync_degree(End)).
   
   dest(Config) ->
       %parameter
  
positive.code:     SizeSA = rr_recon:get_interval_size(SA),
      SizeSB = rr_recon:get_interval_size(SB),
      ?implies(A =/= B, SA =/= SB) andalso
          ?assert(rr_recon:find_intersection(A, A) =:= A) andalso
          ?assert(rr_recon:find_intersection(B, B) =:= B) andalso
          ?implies(intervals:is_subset(B, A), SB =:= SA) andalso
          ?implies(intervals:is_subset(A, B), SB =:= SA) andalso
          ?assert(intervals:is_subset(SA, A)) andalso
  
negative.code:     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)),
      ?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)),
      ?compare(fun erlang:'<'/2, sync_degree(Start), sync_degree(End)).
  
  multi_round2(Config) ->
      Method = proplists:get_value(ru_method, Config),
  