reporting detected and missed erroneous grammars