(** @return <main, constants>
* main: constant in main position and, for polymorphic constants, type
* instantitation
* constants: constants appearing in term *)
(** @return <main, constants>
* main: constant in main position and, for polymorphic constants, type
* instantitation
* constants: constants appearing in term *)