anchor.diff:  			_ ->
   			    Regions = case Editor of
   					emacs ->
  +					    FunClauseDef1 = term_to_list(FunClauseDef),
   					    lists:map(fun ({{{StartLine, StartCol}, {EndLine, EndCol}}, NewExp}) ->
  -							      {StartLine, StartCol, EndLine, EndCol, NewExp, {FileName1, Mod, FunClauseDef, ClauseIndex}}
  +							      {StartLine, StartCol, EndLine, EndCol, term_to_list(NewExp), 
  +							       {FileName1, Mod, FunClauseDef1, ClauseIndex}}
   						      end,
   						      Candidates);
   					eclipse -> Candidates
  
positive.code: 	  {error, "Wrangler could not find the file " ++ atom_to_list(ModName) ++ ".erl" ++ " following Wrangler's SearchPaths!"};
        _ ->
  	  FileName1 = hd(FileNames),
  	  {ok, {AnnAST1, _Info1}} = refac_util:parse_annotate_file(FileName1, true, SearchPaths, TabWidth),
  	  case get_fun_clause_def(AnnAST1, FunName, Arity, ClauseIndex) of
  	    {ok, {Mod, _FunName, _Arity, FunClauseDef}} ->
  		case side_condition_analysis(FunClauseDef) of
  
negative.code:     
      
  
  -spec(fold_expression_1/8::(filename(), integer(), integer(), integer(), integer(), syntaxTree(), {filename(),atom(), syntaxTree(), integer()}, [dir()]) ->
  	     {ok, [{integer(), integer(), integer(), integer(), syntaxTree(), {filename(), atom(), syntaxTree(), integer()}}]}).
  
  fold_expression_1(FileName, StartLine, StartCol, EndLine, EndCol, NewExp1, {FunDefFileName, FunDefMod, FunClauseDef1, ClauseIndex}, SearchPaths) ->
      NewExp = list_to_term(NewExp1),
      FunClauseDef = list_to_term(FunClauseDef1),
      {ok, {AnnAST, Info}} = refac_util:parse_annotate_file(FileName, true, SearchPaths),
      {value, {module, CurrentMod}} = lists:keysearch(module, 1, Info),
      FunCall = case refac_syntax:type(NewExp) of
  		application -> NewExp;
  		match_expr -> refac_syntax:match_expr_body(NewExp)
  	      end,
      Op = refac_syntax:application_operator(FunCall),
      FunName = case refac_syntax:type(Op) of
  		atom -> refac_syntax:atom_value(Op);
  		module_qualifier ->
  		    refac_syntax:atom_value(refac_syntax:module_qualifier_body(Op))
  	      end,
      Arity = length(refac_syntax:application_arguments(FunCall)),
      Body = refac_syntax:clause_body(FunClauseDef),
      {AnnAST1, _} = refac_util:stop_tdTP(fun do_replace_expr_with_fun_call/2, AnnAST, {Body, NewExp, {{StartLine, StartCol}, {EndLine, EndCol}}}),
      refac_util:write_refactored_files([{{FileName, FileName}, AnnAST1}]),
      {ok, {AnnAST2, _Info2}} = refac_util:parse_annotate_file(FileName, true, SearchPaths),
      {ok, {AnnAST3, _Info3}} = refac_util:parse_annotate_file(FunDefFileName, true, SearchPaths),
      case get_fun_clause_def(AnnAST3, FunName, Arity, ClauseIndex) of
        {ok, {_Mod, _FunName, _Arity, FunClauseDef2}} ->
  	  Candidates = search_candidate_exprs(AnnAST2, {FunDefMod, CurrentMod}, FunName, FunClauseDef2),
  	  FunClauseDef3 = term_to_list(FunClauseDef2),
  	  Regions = [{StartLine1, StartCol1, EndLine1, EndCol1, term_to_list(FunCall1), {FunDefFileName, FunDefMod, FunClauseDef3, ClauseIndex}}
  		     || {{{StartLine1, StartCol1}, {EndLine1, EndCol1}}, FunCall1} <- Candidates,
  			StartLine1 >= StartLine],
  	  {ok, Regions};
        {error, _Reason} ->
  	  {error, "You have not selected a function definition."}  %% THIS SHOULD NOT HAPPEN.
      end.
    
  
  
  -spec(fold_expression_2_eclipse/6::(filename(), atom(),integer(), integer(), integer(), [dir()]) -> 
  	     {ok, [{integer(), integer(), integer(), integer(), syntaxTree(), {syntaxTree(), integer()}}]}
               | {error, string()}).
  fold_expression_2_eclipse(FileName, FunName, Arity, ClauseIndex, StartLine, SearchPaths ) ->
      {ok, {AnnAST2, _Info1}} = refac_util:parse_annotate_file(FileName,true, SearchPaths),
      case get_fun_clause_def(AnnAST2, FunName, Arity, ClauseIndex) of 
  	{ok, {Mod, _FunName, _Arity, FunClauseDef1}} ->
  	    Candidates = search_candidate_exprs(AnnAST2, {Mod, Mod}, FunName, FunClauseDef1),
  