let mkInfo e =
match e.enode with Info _ -> e | _ ->
let einfo = {
exp_loc = locUnknown;
(* In many cases, the correct type may not be available, as
* the expression may result from a conversion from a term or a tset.
* Calling [typeOf] on such an expression may raise an error.
* Therefore, put here a dummy type until tsets correctly typed.
*)
exp_type = Ctype voidType; (* Ctype(typeOf e); *)
exp_name = [];
} in
new_exp (Info(e,einfo))