anchor.diff:      DupsInFun = search_duplications(Fun, Exp),
       DupsInClause = search_duplications(expr_to_fun_clause(Fun, Exp), Exp),
       case SideEffect of
  -	unknown ->
  -	    {unknown_side_effect, {ParName1, FunName, FunArity,
  -				   FunDefPos, Exp, NoOfClauses, DupsInFun, DupsInClause, Cmd}};
  -	_ ->
  -	    case NoOfClauses > 1 of
  -		true ->
  -		    {more_than_one_clause,
  -		     {ParName1, FunName, FunArity, FunDefPos, Exp, SideEffect, DupsInFun, DupsInClause, Cmd}};
  -		_ ->
  -		    case DupsInFun of
  -			[_| _] ->
  -			    {multiple_instances,
  -			     {ParName1, FunName, FunArity, FunDefPos, Exp, SideEffect, DupsInFun, Cmd}};
  -			_ ->
  -			    {AnnAST1, _} = gen_fun(FileName, ModName, AnnAST, ParName1, FunName,
  -						   FunArity, FunDefPos, Info, Exp, SideEffect, [], SearchPaths, TabWidth),
  -			    case Editor of
  -				emacs ->
  -				    refac_util:write_refactored_files_for_preview([{{FileName, FileName}, AnnAST1}], Cmd),
  -				    {ok, [FileName]};
  -				eclipse ->
  -				    Content = refac_prettypr:print_ast(refac_util:file_format(FileName), AnnAST1),
  -				    {ok, [{FileName, FileName, Content}]}
  -			    end
  -		    end
  -	    end
  +      unknown ->
  +	  {unknown_side_effect, {ParName1, FunName, FunArity,
  +				 FunDefPos, Exp, NoOfClauses, DupsInFun, DupsInClause, Cmd}};
  +      _ ->
  +	  case NoOfClauses > 1 of
  +	    true ->
  +		{more_than_one_clause,
  +		 {ParName1, FunName, FunArity, FunDefPos, Exp, SideEffect, DupsInFun, DupsInClause, Cmd}};
  +	    _ ->
  +		case DupsInFun of
  +		  [_| _] ->
  +		      {multiple_instances,
  +		       {ParName1, FunName, FunArity, FunDefPos, Exp, SideEffect, DupsInFun, Cmd}};
  +		  _ ->
  +		      {AnnAST1, _} = gen_fun(FileName, ModName, AnnAST, ParName1, FunName,
  +					     FunArity, FunDefPos, Info, Exp, SideEffect, [], SearchPaths, TabWidth),
  +		      refac_util:write_refactored_files(FileName, AnnAST1, Editor, Cmd)
  +		end
  +	  end
       end.
   
   
  
positive.code:     end.
  
  
  replace_clause_body(C, FunName,Exp, ActualPar ) ->
      {EStart, EEnd} = refac_util:get_range(Exp),
      {CStart, CEnd} = refac_util:get_range(C),
      case (CStart =< EStart) andalso (EEnd =< CEnd) of
  	true ->
  	    Pats = refac_syntax:clause_patterns(C),
  	    G = refac_syntax:clause_guard(C),
  	    Body = [refac_syntax:application(refac_syntax:atom(FunName), Pats++[ActualPar])],
  	    Body1 = [B1||B<-Body,
  			      {B1,_} <-[refac_util:stop_tdTP(fun do_replace_underscore/2, B, [])]],
  	    refac_util:rewrite(C, refac_syntax:clause(Pats, G, Body1));
  	_ -> C %% add_actual_parameter(C, {FileName, FunName, Arity, Exp1, Info, SearchPaths, TabWidth})
      end.
  
  
  
negative.code:     FunName = refac_syntax:data(refac_syntax:function_name(Fun)),
      FunArity = refac_syntax:function_arity(Fun),
      Inscope_Funs = [{F, A} || {_M, F, A} <- refac_util:inscope_funs(Info)],
      NewArity = FunArity + 1,
      case lists:member({FunName, NewArity}, Inscope_Funs) orelse
  	   erlang:is_builtin(erlang, FunName, NewArity) orelse erl_internal:bif(erlang, FunName, NewArity)
  	of
        true -> throw({error, "Function " ++
  			      atom_to_list(FunName) ++ "/" ++ integer_to_list(NewArity) ++ " is already in scope!"});
        false -> ok
      end,
      FunDefPos = get_fun_def_loc(Fun),
      ParName1 = list_to_atom(ParName),
  