[ Eq(x6, Piecewise((1, And(Ge(t, 0), Lt(t, 5))), (0, True))),
  Eq(x8, Piecewise((0, And(Ge(t, 0), Lt(t, 5))), (Piecewise((1, And(Ge(t, 5), Lt(t, 10))), (0, True)), True))) ]