let translate_assigned env assigned =
let lvset = List.fold_left
(fun lvset (loc,_from) ->
Cil_datatype.Term.Set.add loc.it_content lvset)
Cil_datatype.Term.Set.empty assigned
in
translate_assigned_targets env (Cil_datatype.Term.Set.elements lvset)