val convert_nobj: NCic.obj -> (UriManager.uri * Cic.obj) list