(* FG: some helper functions ************************************************)
-val list_rev_map_filter: ('a -> 'b option) -> 'a list -> 'b list
-
val get_name: Cic.context -> int -> string option
val get_rel: Cic.context -> string -> Cic.term option