let build_prop_of_from env pre goals =
    let f p () = W.build_prop_of_from env pre p in
    List.map (fun g -> make_goal g.g_id (f g.g_prop) [g.g_descr]) goals