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