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