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))