[ Eq(x3, 1 - x1 - x2),
  Eq(x4, Piecewise((1, Lt(t - floor(t/k11)*k11, k10)), (0, True))) ]