--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main_marking3/re_test1.scala	Fri Jan 29 00:56:19 2021 +0000
@@ -0,0 +1,11 @@
+import CW8c._
+
+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)
+