three grammars that lead assertion-failures