anchor.diff:  
   -spec(rename_mod/3::(filename(), string(), [dir()]) -> {error, string()} | {ok, [filename()]}).  
   rename_mod(Fname, NewName,SearchPaths) ->
  -    case check_undo_process() of 
  +    case initial_checking(SearchPaths) of 
   	ok ->  Res = wrangler:rename_mod(Fname, NewName,SearchPaths),
   	        check_wrangler_error_logger(),
   	       Res;		
  
positive.code: 	     {error, string()} | {ok, [filename()]}).
  tuple_to_record(File, FLine, FCol, LLine, LCol, 
                  RecName, FieldString, SearchPaths)->
      case check_undo_process() of
  	ok -> Res = wrangler:tuple_to_record(File, FLine, FCol, LLine, LCol, 
  					     RecName, FieldString, SearchPaths),
  	      check_wrangler_error_logger(),
  
negative.code: -spec(rename_process/5::(filename(), integer(), integer(), string(), [dir()]) ->
  	     {error, string()} | {undecidables, string()}| {ok, [filename()]}).
  rename_process(Fname, Line, Col, NewName, SearchPaths) ->
      case initial_checking(SearchPaths) of
  	ok -> Res=wrangler:rename_process(Fname, Line, Col, NewName, SearchPaths),
  	      check_wrangler_error_logger(),
  	      Res;
  