(* THE EVALUATION *************************************************************)
(* The arity of a term t in an environment E *)
(* THE EVALUATION *************************************************************)
(* The arity of a term t in an environment E *)