let close env kf (obligs, p) = let obligs = map_named_prop (W.close env kf) obligs in obligs, map_named_prop (W.close env kf) p