anchor.diff:      C = length(List -- ParList) + 1,
       case length(ParList) < Number of
         true ->
  -	  exit({error,
  -		"It is not possible to tuple  " ++
  -		  integer_to_list(Number) ++ " parameter"});
  +	 {error,
  +		"It is not possible to tuple  " ++ integer_to_list(Number) ++ " parameters"};
         false ->
   	  {lists:reverse(lists:nthtail(length(ParList) - Number,
   				       lists:reverse(ParList))),
  
positive.code: 	of
        false -> ok;
        true ->
  	  exit({error,
  		atom_to_list(FunName) ++
  		  "/" ++
  		    integer_to_list(NewArity) ++
  		      " is already in scope, or is an auto-imported "
  		      "builtin function."})
      end.
  
  %% =====================================================================
  
negative.code: check_def_mod(DefMod, ModName) ->
      if DefMod == ModName -> ok;
         true ->
  	   {error, "This function is not defined in this module; please go to the module where it is defined to apply this refactoring."}
      end.
      
  
  