--- a/Spiral.scala	Fri Jan 17 23:53:08 2020 +0000
+++ b/Spiral.scala	Mon Jan 20 15:51:06 2020 +0000
@@ -840,13 +840,25 @@
       }
     }
   }
-
+  def have_fun(){
+    val bis = List(S,S)
+    val bits = List(S,S,Z)
+    val reg = ("a" | (("a")%) )~("b")
+    val res = decode_aux(reg, bis)
+    val result = decode_aux(reg, bis)
+    val result1 = decode_aux(reg, List(Z))
+    println(res)
+    println(result)
+    println(bsimp(bders( "a".toList, internalise(reg))))
+    println(result1)
+  }
   def main(args: Array[String]) {
     //println(S.toString)
     //find_re()
     //tellmewhy()
     //correctness_proof_convenient_path()
-    tellmewhy()
+    //tellmewhy()
+    have_fun()
     //string_der_test()
     //comp(rd_string_gen(3,6).toList, random_struct_gen(7))
     //newxp1()