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