Update Refinement.lhs