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