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