let mk_logicvar_intervalle logvar min max = Logic_const.pand(prel(Rle,mk_int_term min,mk_term_from_logic_var logvar), prel(Rlt,mk_term_from_logic_var logvar,mk_int_term max))