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