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