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