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)