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