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: 			 underscore ->[];
  			 macro -> MacroName1 = refac_syntax:macro_name(Expr1),
  				  MacroName2 = refac_syntax:macro_name(Expr2),
  				  case refac_syntax:variable_name(MacroName1) =/=
  				      refac_syntax:variable_name(MacroName2) of
  				      true -> [{Expr1, Expr2}];
  				      false -> F(Expr1, Expr2)
  				  end;
  
negative.code: 	       catch
  		   _ -> case variable_replaceable(E1) andalso 
  			    variable_replaceable(E2) of 
  			    true ->
  				[{E1,E2}];
  			    _ -> throw(non_unificable)
  			end
  	       end       
  