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