val convert_obj: UriManager.uri -> Cic.obj -> NCic.obj list