A tool for checking LL(n) grammars