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