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:     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: 		       {error, ("The given parameter name conflicts with the existing parameters or"++
  				" will change the semantics of the function to be generalised!")};
  		   _ ->
  		      ok
  	       end
      end.
  
  