(v0 x) | (w1 x)
(ite (<= x 0) 2 (v0 x)) | (ite (<= x 0) 2 (w1 x))
