BoundedGrammars
Examples generated by the erroneous branch don't get included in spec