anchor.diff:  	  end,
       Res.
   
  +compose_search_result_info(FileName, Ranges) ->
  +    compose_search_result_info(FileName, Ranges, "").
  +compose_search_result_info(_FileName, [], Str) ->
  +    Str;
  +compose_search_result_info(FileName, [{{StartLine, StartCol}, {EndLine, EndCol}}|Ranges], Str) ->
  +    Str1 =Str ++ "\n"++FileName++io_lib:format(":~p.~p-~p.~p: \n", [StartLine, StartCol, EndLine, EndCol]),
  +    compose_search_result_info(FileName, Ranges, Str1).
  +					       
  +    
  +    
  +    
  
positive.code: 	[E|Es] -> 
  	    Res = case Es == [] of 
  		      true ->
  			  [refac_sim_expr_search:get_start_end_loc([E|Es])|search_one_expr(AnnAST, E)];
  		      _ -> 
  			  [refac_sim_expr_search:get_start_end_loc([E|Es])|search_expr_seq(AnnAST, [E|Es])]
  		  end,
  	    case length(Res)-1 of  
  		0 -> ?wrangler_io("No identical expression has been found.\n",[]), %% This shouldn't happen.
  		     {ok, []};
  		1 -> ?wrangler_io("No identical expression has been found. \n",[]),
  		     {ok, []};
  		N -> ?wrangler_io("~p identical expressions (including the selected expression,and up to variable renaming and literal substitution) "
  				       " have been found. \n", [N]),
  		     ?wrangler_io("Use 'C-c C-e' to remove highlights!",[]),
  		     {ok, Res}
  	    end;
  	    _   -> {error, "You have not selected an expression!"}
  
negative.code: 				En = lists:last(List22),
  			        {{StartLn, StartCol}, _EndLoc} = refac_util:get_range(E1),
  				{_StartLoc1, {EndLn, EndCol}} = refac_util:get_range(En),
  				[{{StartLn, StartCol}, {EndLn, EndCol}}] ++ get_clone(List1, tl(List2));
  			_ -> get_clone(List1, tl(List2))
  		    end;				       
  		    _ -> get_clone(List1, tl(List2))
  