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