val strip_attributes: CicNotationPt.term -> CicNotationPt.term
+ (** @return the list of proper (i.e. non recursive) IdRef of a term *)
+val get_idrefs: CicNotationPt.term -> string list
+
(** generalization of List.combine to n lists *)
val ncombine: 'a list list -> 'a list list