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