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