let
mk_trans_cst i = mk_int_term i