+ dbd:HSql.dbd -> ProofEngineTypes.status ->
+ UriManager.uri list
+
+val signature_of:
+ Cic.metasenv ->
+ ProofEngineTypes.goal ->
+ MetadataConstraints.UriManagerSet.t
+
+val universe_of_goal:
+ dbd:HSql.dbd ->
+ bool -> (* apply only or not *)
+ Cic.metasenv ->
+ ProofEngineTypes.goal ->
+ UriManager.uri list