let add_assigns_goal wenv id_assigns obj =
let g_id = WpAnnot.id_of_id_assigns id_assigns in
let a = WpAnnot.body_of_id_assigns id_assigns in
Wp_parameters.debug ~level:3 "add assign goal (@[%s@])@." (WpAnnot.prop_txt g_id);
W.add_assigns wenv g_id
a.WpAnnot.a_label
a.WpAnnot.a_kind
a.WpAnnot.a_assigns
obj