let add_goal export kf bhv po =
    let gpred = CV.zip po.PO.g_prop in
    let wrn = ref [] in
    let dep = ref [] in
    PO.iter_description
      (fun w -> wrn := w :: !wrn)
      (fun d -> dep := d :: !dep)
      po.PO.g_descr ;
    build_wpos export kf bhv (List.rev !wrn) (List.rev !dep) po.PO.g_id gpred