--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main_marking3/re_test3a.scala	Mon Apr 11 23:55:27 2022 +0100
@@ -0,0 +1,8 @@
+import M3._
+
+
+assert(flts(Nil) == Nil)
+assert(flts(ZERO::ZERO::Nil) == Nil)
+assert(flts(ZERO::ONE::ZERO::ONE::Nil) == List(ONE, ONE))
+assert(flts(ONE::ALTs(List(ONE))::ONE::Nil) == List(ONE, ONE, ONE))
+assert(flts(ONE::ALTs(List(ONE))::ONE::ALTs(List(ONE))::Nil) == List(ONE, ONE, ONE, ONE))