let mk_logicvar_intervalle logvar min max =
  Pand(
    unamed (Prel(Rle,mk_int_term min,mk_term_from_logic_var logvar)),
    unamed (Prel(Rlt,mk_term_from_logic_var logvar,mk_int_term max))
  )