Exploring crash-proof grammars by