let rec name_with_profile s prof =
match prof with
| [] ->
(*
Format.eprintf "producing new translated name ``%s''@." s;
*)
s
| v::rem ->
let n = Common.logic_type_name v.lv_type in
(*
Format.eprintf "type name ``%s''@." n;
*)
name_with_profile (s^"_"^n) rem