diff -r 9f984ff20020 -r 304a12cdda6f progs/scala/re-annotated2.sc
--- a/progs/scala/re-annotated2.sc	Thu Feb 23 12:37:34 2023 +0000
+++ b/progs/scala/re-annotated2.sc	Mon Mar 13 12:39:03 2023 +0000
@@ -211,7 +211,7 @@
       case (_, AZERO) => AZERO
       case (AONE(bs2), r2s) => fuse(bs1 ++ bs2, r2s)
       // needed in order to keep the size down
-      case (AALTS(bs, rs), r2) => AALTS(bs1 ++ bs, rs.map(ASEQ(Nil, _, r2)))
+      //case (AALTS(bs, rs), r2) => AALTS(bs1 ++ bs, rs.map(ASEQ(Nil, _, r2)))
       case (r1s, r2s) => ASEQ(bs1, r1s, r2s)
   }
   // distinctBy deletes copies of the same  "erased" regex
@@ -385,4 +385,4 @@
 println(bsize(bders_simp(internalise(reg2), ("a" * 2).toList)))
 println(bsize(bders_simp(internalise(reg2), ("a" * 3).toList)))
 println(bsize(bders_simp(internalise(reg2), ("a" * 4).toList)))
-println(bsize(bders_simp(internalise(reg2), ("a" * 5).toList)))
+println(bsize(bders_simp(internalise(reg2), ("a" * 50000).toList)))