anchor.diff:  check_atoms(FileName, Tree, AtomNames, Pid) ->
       F = fun (T) ->
   		case refac_syntax:type(T) of
  -		  function -> collect_atoms(T, AtomNames);
  +		  function ->
  +			collect_atoms(T, AtomNames);
   		  _ -> []
   		end
   	end,
  
positive.code: 	  end,
      Msg = lists:flatmap(Fun, FileAndExprs),
      ?log_warning(Msg).
  
negative.code:       _ -> Pid ! {add_not_renamed, {FileName, UndecidableAtoms}}
      end.
  
  collect_atoms(Tree, AtomNames)->
      F=fun(Node,S) ->
  	      case refac_syntax:type(Node) of
  		  atom ->
  		      AtomVal = refac_syntax:atom_value(Node),
  		      case lists:member(AtomVal, AtomNames) of
  			  true ->
  			      Pos = refac_syntax:get_pos(Node),
  			      As = refac_syntax:get_ann(Node),
  			      case lists:keysearch(type, 1, As) of
  				  {value, {type, _}} ->
  				      S;
  				  _ ->
  				      S ++ [{atom, Pos, AtomVal}]
  			      end;
  			  false ->
  			      S
  		      end;
  		  _ -> S
  	      end
        end,
      refac_syntax_lib:fold(F, [], Tree).
  			
  has_warning_msg(Pid) ->
      Pid! {self(), get},
      receive
  