Should have fixed grammar production problems in cnf