anchor.diff:  		    "please restart the refactorer!\n");
         _ -> refactor_undo ! {add, Files1}
       end,
  -    lists:foreach(F, Files).
  +    %% Actually the result of writing to files should be checked!
  +    lists:foreach(F, Files).    
   
   %% =====================================================================
   %% @spec tokenize(File::filename()) -> [token()]
  
positive.code: 	  Forms = if ByPassPreP -> Forms1;
  		     true -> tl(Forms1)
  		  end,
  	  Comments = erl_comment_scan:file(FName),
  	  SyntaxTree = refac_recomment:recomment_forms(Forms, Comments),
  	  Info = refac_syntax_lib:analyze_forms(SyntaxTree),
  %% 	  case lists:keysearch(errors,1,Info) of
  %% 	        {value,{errors, Error}} ->
  %% 	  	  {error, {"Syntax error in file: " ++ FName++".", Error}};
  %% 	      _ ->
  	    AnnAST = annotate_bindings(FName, SyntaxTree, Info, 1),
  	    if ByPassPreP -> 
  		    {ok, {AnnAST, Info}};
  	       true ->
  		    case analyze_free_vars(AnnAST) of
  			{error, Reason} -> {error, Reason};
  			_ ->   {ok, {AnnAST, Info}}
  		    end
  	    end;
  	{error, Reason} -> {error, Reason}
      end.
  
  %%@spec add_tokens(FName::filename(), SyntaxTree::syntaxTree()) -> syntaxTree()
  
negative.code: 		 true -> from_dets(local_side_effect_tab, SideEffectFile);
  		 _ -> ets:new(local_side_effect_tab, [set, public])
  	       end,
      #callgraph{scc_order=Sccs, external_calls=_E} = build_callgraph(FilesToAnalyse),
      build_side_effect_tab(Sccs, LocalPlt, LibPlt),
      to_dets(LocalPlt, SideEffectFile),
      dets:close(LibSideEffectFile),
  