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