A Treatment of Negation during Partial Evaluation