--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main_testing3/re_test8.scala	Tue Nov 08 00:27:47 2022 +0000
@@ -0,0 +1,8 @@
+import M3._ 
+val EVIL_urban = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))
+
+assert(size(der('a', der('a', EVIL_urban))) == 36)
+assert(size(der('a', der('a', der('a', EVIL_urban)))) == 83)
+
+assert(size(ders("aaaaaa".toList, EVIL_urban)) == 7)
+assert(size(ders(("a" * 50).toList, EVIL_urban)) == 7)