let add_goal env g goals =
    let new_prop () = W.add_goal env g W.empty in
    let g = make_goal (WpPropId.pred_info_id g) new_prop [] in
    merge [g] goals