Removing code related to right-nullable productions