Here is a slightly better-tuned version. Added twochar_splittable test (note, we have to be careful to check that there are no single-char counterexamples!) and replaced some invocations of is_empty with easy_empty. 
Here is a slightly better-tuned version. Added twochar_splittable test
(note, we have to be careful to check that there are no single-char
counterexamples!) and replaced some invocations of is_empty with
easy_empty. 

I think there still may be some interesting tuning to be done--we can
pick either t1 or t2 to investigate first, and it should make sense to
do the smaller one?---but I'm stopping the Brx hacking for now.



L2G/boomerang-lang