rename_ident.ml does not work well. SOF