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