anchor.diff:  		{macro, macro} -> do_anti_unify_macros(Exp1, Exp2);
   		{macro, _} -> throw({error, anti_unification_failed});
   		{variable, variable} ->
  -		    case is_macro_name(Exp1) or is_macro_name(Exp2) of
  +		    case refac_misc:is_macro_name(Exp1) or refac_misc:is_macro_name(Exp2) of
   			true ->
   			    throw({error, anti_unification_failed});
   			false ->
  
positive.code: 	false -> []
      end.
                 
  
  is_macro_name(Exp) ->
      Ann = refac_syntax:get_ann(Exp),
      {value, {syntax_path, macro_name}} == 
          lists:keysearch(syntax_path, 1, Ann).
  
  
  is_literal(T) -> 
      case refac_syntax:type(T) of
          atom -> true;
          integer -> true;
          float -> true;
          char -> true;
          string -> true;
          nil -> true;
          _ -> false
      end.
  
negative.code: do_expr_anti_unification_1(Exp1, Exp2) ->
      T1 = refac_syntax:type(Exp1),
      T2 = refac_syntax:type(Exp2),
      case refac_misc:is_literal(Exp1) andalso refac_misc:is_literal(Exp2) of
  	true ->
  	  do_anti_unify_literals(Exp1, Exp2);
  	false ->
  