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)