(ite (<= (+ (+ (+ x 2) 2) 2) 0) 1 2) | (ite (<= (+ (+ 2 (+ 2 (+ 2 2))) x) 0) 2 1)
