anchor.diff:  uninstrument_prog(FName, SearchPaths) ->
       case check_undo_process() of 
   	ok ->
  -	    wrangler:uninstrument_prog(FName, SearchPaths);
  +	    Res = wrangler:uninstrument_prog(FName, SearchPaths),
  +	    check_wrangler_error_logger(),
  +	    Res;
   	{error, Reason} ->
   	    {error, Reason}
       end.
  
positive.code: 	     {error, string()} | {ok, [filename()]}).
  tuple_funpar(Fname, Line, Col, Number, SearchPaths) ->
      case check_undo_process() of
  	ok -> wrangler:tuple_funpar(Fname, Line, Col, Number, SearchPaths);
  	{error, Reason} ->
  	    {error, Reason}
      end.
  
negative.code: 	    ok
      end.
  
  check_wrangler_error_logger() ->
      Errors = wrangler_error_logger:get_logged_errors(),
      case Errors of 
  	[] ->
  	     ok;
  	_ ->  io:format("\n===============================WARNING===============================\n"),
  	      io:format("There are errors in the program, and functions/attribute containing errors are not affected by the refactoring process.\n"),
  	      lists:foreach(fun({FileName, Errs}) ->
  				    Errs1 = lists:map(fun({Pos, _Mod, Msg}) -> {Pos, Msg} end, Errs),
  				    io:format("File:\n ~p\n", [FileName]),
  				    io:format("Error(s):\n"),
  				    lists:foreach(fun({Pos, Msg}) -> io:format(" ** ~p:~s **\n", [Pos, Msg]) end, lists:reverse(Errs1)) %% lists:flatten(Msg)
  			    end, Errors)
      end.
      
  