--- a/main_testing3/re_test.sh	Thu Dec 08 17:53:08 2022 +0000
+++ b/main_testing3/re_test.sh	Thu Dec 08 21:28:33 2022 +0000
@@ -105,7 +105,7 @@
 then
   echo -e " der('a', ZERO | ONE) == (ZERO | ZERO)" >> $out
   echo -e " der('a', (CHAR('a') | ONE) ~ CHAR('a')) ==" >> $out
-  echo -e "                 ALT((ONE | ZERO) ~ CHAR('a'), ONE)" >> $out
+  echo -e "                 ALT((ONE | ZERO) ~ CHAR('a'), SEQs(List(ONE)))" >> $out
   echo -e " der('a', (CHAR('a') | CHAR('a')) ~ CHAR('a')) == (ONE | ONE) ~ CHAR('a')" >> $out
   echo -e " der('a', STAR(CHAR('a'))) == (ONE ~ STAR(CHAR('a')))" >> $out
   echo -e " der('b', STAR(CHAR('a'))) == (ZERO ~ STAR(CHAR('a')))" >> $out