Dealing with inequalities on the same function

In this version of ALIAS there is no direct way to deal with inequalities that are valid for the same function (e.g. $\alpha \le U(X) \le \beta$), which mean that you will have to declare two inequalities (which imply that the quantity $U$ will be evaluated twice). But in the previous procedure there is a way to avoid writing two inequalities. In the function evaluation procedure you will just compute $U(X)$ and declare this function as an inequality of type $H(X) \le 0$. After having computed the interval evaluation $U$

• if this interval is strictly included in $[\alpha,\beta]$ substitute the interval of $U$ by the value -1 (or any negative number)
• if this interval has no intersection with $[\alpha,\beta]$ substitute the interval of $U$ by the value 1 (or any positive number)
• if this interval has an intersection with $[\alpha,\beta]$ but is not strictly included in it, then substitute the interval of $U$ by the interval [-1,1]