anchor.diff:  	end,		
       refac_syntax:form_list([T|| Form<-Forms, T <- F(Form)]).
   
  +do_replace_underscore(Tree, _Others) ->
  +    case refac_syntax:type(Tree) of 
  +	underscore ->
  +	   {refac_syntax:atom(undefined), true};
  +	_ -> {Tree,false}
  +    end.
   %% =====================================================================
   %%
   do_gen_fun(Tree, {ModName, ParName, FunName, Arity, DefPos,Info, Exp, SideEffect}) ->    
  
positive.code: %% =====================================================================
  %% @spec gen_cond_analysis(Fun::function(), Exp::expression(), ParName::atom())-> term()
  %%
  gen_cond_analysis(Fun, Exp, ParName, IsExported) ->
       case lists:keysearch(category,1, refac_syntax:get_ann(Exp)) of 
  	{value, {category, record_field}} -> throw({error, "Record field cannot be replaced by a variable."});
          {value, {category, record_type}} -> throw({error, "Record type cannot be replaced by a variable."});	 
  
negative.code: 					integer_to_list(FunArity+1)++" is already in scope!"};
  				_   -> FunDefPos =get_fun_def_loc(Fun), 
  				       ParName1 = list_to_atom(ParName),
  				       case gen_cond_analysis(Fun, Exp1, ParName1) of 
  					   ok -> 
  					       SideEffect = refac_util:has_side_effect(FileName, Exp1, SearchPaths),
  					       case SideEffect of  
  