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