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