WYRL: I think the problem is related to junk states which are introduced during rewrite rules, even if those rules fail (#274).
WYRL: oh boy, am I angry.  Basically test_arith_11 *still* doesn't work.