Hint Resolve  closed_wrt_tc_test_order  closed_wrtl_tc_test_order : closed.

(* Specifications: *)
Lemma expr_closed_const_int:
forall {cs: compspecs} S i t, expr_closed_wrt_vars S (Econst_int i t).
Lemma expr_closedl_const_int:
forall S i t, expr_closed_wrt_lvars S (Econst_int i t).