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