val fake_annotate: Cic.id -> Cic.context -> Cic.term -> Cic.annterm
-val mk_pattern: int -> Cic.annterm -> Cic.annterm
+val mk_pattern: int -> Cic.annterm -> Cic.annterm -> Cic.annterm
val get_clears:
Cic.context -> Cic.term -> (Cic.term * Cic.term) option ->