[ Eq(x1, Piecewise((t - 99, Ge(t, 100)), (1, True))) ]