Minor improvement in grammar optimization: remove unproductive productions
may allow further optimization inside the fixed-point loop.