let assigned_for_assigns_goal kind from env assigned =
let env_assigned =
match kind with
| WpAnnot.StmtAssigns -> L.env_at env from
| WpAnnot.LoopAssigns -> env
in
match translate_assigned env_assigned assigned with
| Warning(wsrc, msg) -> raise (Wp_error.Error(wsrc,msg))
| Result region -> region