--- a/Spiral.scala	Sat Mar 16 20:05:13 2019 +0000
+++ b/Spiral.scala	Thu Mar 21 13:26:07 2019 +0000
@@ -453,7 +453,7 @@
             println("regex after ders simp")
             println(nangao)
             println("regex after ders")
-            println(annotated_tree(bders(ss.toList, r)))
+            println(annotated_tree(bders(ss.toList, r)))//flats' fuse when opening up AALTS causes the difference
             println("regex after ders and then a single simp")
             println(annotated_tree(easy))
           }