grammar production names rewritten