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