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