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