Allow chained comparisons, such as 0 <= C < width(%x).

In general, X c1 Y c2 Z... translates to X c1 Y && Y c2 Z &&...
Change PredAnd and PredOr to accept more than two arguments.
Use n-ary PredAnd, PredOr for &&, ||