let add_assigns env id label kind assigns goals = let f () = W.add_assigns env id label kind assigns W.empty in let new_goal = make_goal id f [] in if new_goal.g_prop = W.empty then goals else merge [new_goal] goals