update PDRefinement.lhs