--- a/main_marking3/re_test3.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_marking3/re_test3.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -17,6 +17,6 @@
 assert(simp(ALT(ONE | ONE, ONE | ONE)) == ONE)
 assert(simp(ALT(ZERO | CHAR('a'), CHAR('a') | ZERO)) == CHAR('a'))
 assert(simp(ALT(ONE | CHAR('a'), CHAR('a') | ONE)) == ALT(ONE, CHAR('a')))
-
+assert(simp(ALTs(Nil)) == ZERO)
+assert(simp(SEQs(List(CHAR('a')))) == CHAR('a'))
 
-