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