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