Deriving an Efficient Production System by Partial Evaluation