Delete StringGrammar.v