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