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