anchor.diff:  
   search_candidate_exprs(AnnAST, MacroDef) ->
       Args = refac_syntax:attribute_arguments(MacroDef),
  -    MacroHead = refac_util:ghead("refac_fold_against_macro:search_candiate_exprs", Args),
  -    MacroParNames = case refac_syntax:type(MacroHead) of 
  -		   application ->
  -		       Pars = refac_syntax:application_arguments(MacroHead),
  -		       lists:map(fun(A) ->refac_syntax:variable_name(A) end, Pars);
  -		   _ -> []
  -	       end,	    
  +    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 
  -	[] ->[];
  -	_ -> lists:map(fun({Range, Subst}) ->
  -			       {Range, make_macro_app(MacroHead, Subst)}
  -		       end, Res)
  +    case MacroBody of
  +      [] ->
  +	  [];
  +      _ ->
  +	  [{Range, make_macro_app(MacroHead, Subst)} || {Range, Subst} <- Res]
       end.
   
   
  
positive.code: 	application ->
  	    Op  = refac_syntax:application_operator(MacroHead),
  	    Args1 = refac_syntax:application_arguments(MacroHead),
  	    Args= lists:map(fun(A) -> refac_syntax:variable_name(A) end, Args1),
  	    Pars = lists:map(fun(P) -> case lists:keysearch(P, 1, Subst) of 
  					   {value, {P, Par}} -> 
  					       refac_util:reset_attrs(Par);
  
negative.code: 
  -module(refac_fold_against_macro).
  
  -export([fold_against_macro/5, fold_against_macro_1/5, 
  	 fold_against_macro_eclipse/5, fold_against_macro_1_eclipse/5]).
  
  
  -export([fold_against_macro/7]).
  