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