anchor.diff:  					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, refac_util:is_exported({FunName, FunArity},Info)) of 
  +				       case gen_cond_analysis(Fun, Exp1, ParName1) of 
   					   ok -> 
   					       SideEffect = refac_util:has_side_effect(FileName, Exp1, SearchPaths),
   					       case SideEffect of  
  
positive.code: 		       {error, ("The given parameter name conflicts with the existing parameters or"++
  				" will change the semantics of the function to be generalised!")};
  		   _ ->
  		       case IsExported of 
  			   true -> Pats = lists:flatmap(fun(C) ->refac_syntax:clause_patterns(C) end, Cs),
  				   UnderScores =lists:flatmap(fun(Pat) ->refac_syntax_lib:fold(fun(P,A) ->
  												       case refac_syntax:type(P) of 
  													   underscore -> [P|A];
  													   _ -> A
  												       end
  											       end, [], Pat)
  							      end, Pats),
  				   case UnderScores of 
  				       [] -> ok;
  				       _ -> {error, "Please rename underscore(s) used in the function parameters to named variables first."}
  				   end;				    
  			   false -> ok
  		       end
  	       end
      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."});	 
  