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