in process of updating PDRefinement.lhs