+ - comparison test is probably chewing up most of the time
+
+ - Check if the only remaining stack is lame (hopeful/nothopeful)
+ - write a testcase for this
+ - circular gramars
+ s = A
+ A = A | "b"
+ - foo.add(x)
+ foo.add(y.andnot(x)) ==> this is broken