Detecting Redundant Production Rules