inRange
Z3