let translate_assigned env assigned =
let lvset = List.fold_left
(fun lvset (loc,_from) ->
match loc with
| Nothing -> lvset
| Location {Cil_types.it_content=lv} ->
Cil_datatype.Term.Set.add lv lvset)
Cil_datatype.Term.Set.empty assigned
in
translate_assigned_targets env (Cil_datatype.Term.Set.elements lvset)