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