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:     Forms = refac_syntax:form_list_elements(Tree),
      MakeClause = fun(C, Expr, Name) ->
  			  Pats = refac_syntax:clause_patterns(C),
  			  G =  refac_syntax:clause_guard(C),
  			  Op = refac_syntax:operator(Name),    
  			  Args = Pats ++ [Expr],
  			  Body = [refac_syntax:application(Op, Args)],
  			  refac_syntax:clause(Pats, G, Body)
  		  end,
  
negative.code: %% =====================================================================
  %% @spec gen_cond_analysis(Fun::function(), Exp::expression(), ParName::atom())-> term()
  %%
  gen_cond_analysis(Fun, Exp, ParName) ->
       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."});	 
  