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