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