val classify: Cic.context -> Cic.term -> dependences * conclusion
val adjust: Cic.context -> Cic.annterm list -> ?goal:Cic.term -> dependences -> dependences
val classify: Cic.context -> Cic.term -> dependences * conclusion
val adjust: Cic.context -> Cic.annterm list -> ?goal:Cic.term -> dependences -> dependences