(******************************************************************************)
val deannotate_term : Cic.annterm -> Cic.term
(******************************************************************************)
val deannotate_term : Cic.annterm -> Cic.term