Fix the bugs in PartialEval