e.g. enter `S -> A`. "Verify" says "A" is in the language of the grammar, but because test cases get lowercased, "A" will not match in the box. Preferred solution is to respect casing.