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