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