anchor.diff:      SE = get_start_end_loc(Exprs),
       Ranges1 = [SE| Ranges--[SE]],
       ExportVars1 = {element(1,lists:unzip(vars_to_export(FunDef, End, Exprs1))), lists:usort(lists:append(ExportVars))},
  -    AntiUnifier = denormalise_expr(generalise_expr(Exprs1,SubSt, ExportVars1),RecordInfo),
  +    AntiUnifier = generalise_expr(Exprs1,SubSt, ExportVars1),
  +   %% AntiUnifier = denormalise_expr(generalise_expr(Exprs1,SubSt, ExportVars1),RecordInfo),
       Num = length(Ranges1), 
       case Num =<1 of 
   	true -> ?wrangler_io("No similar expression has been found.\n",[]); 
  
positive.code: 
  -export([get_start_end_loc/1, start_counter_process/0, 
  	 stop_counter_process/1, gen_new_var_name/1,
  	 variable_replaceable/1]).
  
  -import(refac_duplicated_code, [collect_vars/1]).
  -import(refac_expr_search, [compose_search_result_info/2]).
  
negative.code: 	_ -> {Node, false}
      end.
  
  
  %% expressions which should not be replaced by a variable.
  %% how about expressions has side effects?
  variable_replaceable(Exp) ->
      case lists:keysearch(category,1, refac_syntax:get_ann(Exp)) of 
  	{value, {category, record_field}} -> false;
  