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