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