anchor.diff:  		case refac_syntax:type(Form) of 
   		    function -> case get_fun_def_loc(Form) of 
   				    DefPos -> 
  -					Exp1 = make_actual_parameter(Exp, SideEffect),
  +					Exp1 = make_actual_parameter(ModName, Exp, SideEffect),
   					NewForm = refac_syntax:function(refac_syntax:atom(FunName), 
   									[MakeClause(C, Exp1,FunName) 
   									 || C <- refac_syntax:function_clauses(Form)]),
  
positive.code: %% =====================================================================
  %% @spec gen_cond_analysis(Fun::function(), Exp::expression(), ParName::atom())-> term()
  %%
  gen_cond_analysis(Fun, Exp, ParName) ->
      Exp_Free_Vars = refac_util:get_free_vars(Exp),
      Exp_Export_Vars =refac_util:get_var_exports(Exp),
      if (Exp_Export_Vars /=[]) ->
         {error, "The selected expression exports locally declared variable(s)!"};
         true -> Cs = refac_syntax:function_clauses(Fun),
  	       Vars0 = lists:foldl(fun(C,Accum)->Accum++
  		       refac_syntax_lib:fold(fun(C1, A) -> A++refac_util:get_bound_vars(C1) end, [],C)
  						     ++Exp_Free_Vars end, [], Cs),
  	       Vars= lists:map(fun({X,_Y})->X end, Vars0),
  	       case lists:member(ParName, Vars) of 
  		   true ->
  		       {error, ("The given parameter name conflicts with the existing parameters or"++
                                  " will change the semantics of the function to be generalised!")};
  		   _ -> ok
  	       end
      end.
  
  
  %% =====================================================================
  
negative.code: 		  {{_, spawn_link}, 4} ->transform_spawn_call(Tree, {FunName, Arity, Exp, Info});
  		  _ -> {Tree, false}
  	      end;
         implicit_fun ->
  	   Name = refac_syntax:implicit_fun_name(Tree),
  	   B = refac_syntax:atom_value(refac_syntax:arity_qualifier_body(Name)),
  	   A = refac_syntax:integer_value(refac_syntax:arity_qualifier_argument(Name)),
  	   case {B, A} of 
  	       {FunName, Arity} ->
  		   {refac_syntax:copy_attrs(Tree, refac_syntax:implicit_fun(refac_syntax:atom(FunName),
  								       refac_syntax:integer(Arity+1))), true};
  	       _ -> {Tree, false}
  	   end;				     
         _  -> {Tree, false}  
     end.
  
  