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