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