+val make: 'a list -> dependences
+
+val classify: Cic.context -> Cic.term -> dependences * conclusion
+
+val adjust: Cic.context -> Cic.annterm list -> ?goal:Cic.term -> dependences -> dependences
+
+val to_string: CicInspect.S.t -> dependences * conclusion -> string