+ - Check if the only remaining stack is lame
+ - write a testcase for this
+
+ - circular gramars
+ s = A
+ A = A | "b"
+
+ - foo.add(x)
+ foo.add(y.andnot(x)) ==> this is broken
+
+ - Annotation Tutorial
+
+ ..................................................
+