diff -r b528d1d3d3c3 -r 59e005dcf163 main_testing3/re_test1.scala
--- a/main_testing3/re_test1.scala	Thu Nov 02 13:53:37 2023 +0000
+++ b/main_testing3/re_test1.scala	Thu Nov 02 23:34:53 2023 +0000
@@ -1,13 +1,16 @@
-import M3._
+
+
+def urbanmain() = {
+  import M3._
 
-assert(nullable(ZERO) == false)
-assert(nullable(ONE) == true)
-assert(nullable(CHAR('a')) == false)
-assert(nullable(ZERO | ONE) == true)
-assert(nullable(ZERO | CHAR('a')) == false)
-assert(nullable(ONE ~  ONE) == true)
-assert(nullable(ONE ~ CHAR('a')) == false)
-assert(nullable(STAR(ZERO)) == true)
-assert(nullable(ALTs(List(ONE, CHAR('a'), ZERO))) == true)
-assert(nullable(SEQs(List(ONE, ALTs(List(ONE, CHAR('a'), ZERO)), STAR(ZERO)))) == true)
-
+  assert(nullable(ZERO) == false)
+  assert(nullable(ONE) == true)
+  assert(nullable(CHAR('a')) == false)
+  assert(nullable(ZERO | ONE) == true)
+  assert(nullable(ZERO | CHAR('a')) == false)
+  assert(nullable(ONE ~  ONE) == true)
+  assert(nullable(ONE ~ CHAR('a')) == false)
+  assert(nullable(STAR(ZERO)) == true)
+  assert(nullable(ALTs(List(ONE, CHAR('a'), ZERO))) == true)
+  assert(nullable(SEQs(List(ONE, ALTs(List(ONE, CHAR('a'), ZERO)), STAR(ZERO)))) == true)
+}