diff -r 7a349fe58bf4 -r 622ddbb1223a Brexp.scala
--- a/Brexp.scala	Fri Mar 15 12:27:12 2019 +0000
+++ b/Brexp.scala	Sat Mar 16 14:14:42 2019 +0000
@@ -125,7 +125,7 @@
         case rs => {BALTS(bs, rs)}
       }
     }
-    //case BSTAR(r) => BSTAR(r)
+    case BSTAR(r) => BSTAR(strong_br_simp(r))
     case r => r
   }
   //we want to bound the size by a function bspill s.t.