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: 	    EVs1 = [{refac_syntax:variable_name(E1), get_var_define_pos(E1)}
  		    || {E1, E2} <- SubSt, refac_syntax:type(E2) == variable,
  		       lists:member({refac_syntax:variable_name(E2), get_var_define_pos(E2)}, Expr2ExportedVars)],
  	    SubSt1 = [{E1, E2} || {E1, E2} <- SubSt, refac_syntax:type(E1) /= variable orelse is_macro_name(E1)],
  	    Nodes = group_substs(SubSt1),
  	    {Nodes, EVs1}
      catch
  
negative.code: 	false -> []
      end.
                 
  