Require that the value x is in the range defined by [x0, x1].