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