add temporaly ver. of rename_ident.ml