anchor.diff:  
   %%=============================================================================================
   
  -fold_against_macro(FileName, Line, Col,  SearchPaths, TabWidth) ->
  -    ?wrangler_io("\nCMD: ~p:fold_against_macro(~p, ~p,~p, ~p,~p).\n", 
  +-spec(fold_against_macro/5::(filename(), integer(), integer(), [dir()], integer()) ->
  +	 {error, string()} | {ok, [{integer(), integer(), integer(), integer(), 
  +				    syntaxTree(), syntaxTree()}], string()}).
  +fold_against_macro(FileName, Line, Col, SearchPaths, TabWidth) ->
  +    ?wrangler_io("\nCMD: ~p:fold_against_macro(~p, ~p,~p, ~p,~p).\n",
   		 [?MODULE, FileName, Line, Col, SearchPaths, TabWidth]),
       Cmd = "CMD: " ++ atom_to_list(?MODULE) ++ ":fold_against_macro(" ++ "\"" ++
  -	FileName ++ "\", " ++ integer_to_list(Line) ++
  -	", " ++ integer_to_list(Col) ++ ", " 
  -	++ "[" ++ refac_util:format_search_paths(SearchPaths) ++ "]," ++ integer_to_list(TabWidth) ++ ").",
  +	    FileName ++ "\", " ++ integer_to_list(Line) ++
  +	      ", " ++ integer_to_list(Col) ++ ", "
  +		++ "[" ++ refac_misc:format_search_paths(SearchPaths) ++ "]," ++ integer_to_list(TabWidth) ++ ").",
       fold_against_macro(FileName, Line, Col, SearchPaths, TabWidth, emacs, Cmd).
  +
   
   fold_against_macro_eclipse(FileName, Line, Col,  SearchPaths, TabWidth) ->
       fold_against_macro(FileName, Line, Col, SearchPaths, TabWidth, eclipse, "").
  
positive.code: %% Distel seems turn {wrapper, nil, ...} into {wrapper, [], ...}
  %% We have to turn it back.
  transform(Node) ->
      refac_util:full_buTP(fun(T, _Others) ->
  				 case T of 
  				     {wrapper, [], A, {[], B}} ->
  					 {wrapper, nil, A, {nil, B}};
  				     _  -> T
  				 end
  			 end, Node, {}).
  
negative.code: 
  search_candidate_exprs(AnnAST, MacroDef) ->
      Args = refac_syntax:attribute_arguments(MacroDef),
      MacroHead = refac_misc:ghead("refac_fold_against_macro:search_candiate_exprs", Args),
      MacroParNames = case refac_syntax:type(MacroHead) of
  		      application ->
  			  Pars = refac_syntax:application_arguments(MacroHead),
  			  [refac_syntax:variable_name(A) || A <- Pars];
  		      _ -> []
  		    end,
      MacroBody = tl(Args),
      Res = do_search_candidate_exprs(AnnAST, MacroBody, MacroParNames),
      case MacroBody of
        [] ->
  	  [];
        _ ->
  	  [{Range, make_macro_app(MacroHead, Subst)} || {Range, Subst} <- Res]
      end.
  
  
  