val close_coercion_graph:
UriManager.uri -> UriManager.uri -> UriManager.uri ->
(UriManager.uri * Cic.obj * CicUniv.universe_graph) list
val close_coercion_graph:
UriManager.uri -> UriManager.uri -> UriManager.uri ->
(UriManager.uri * Cic.obj * CicUniv.universe_graph) list