+(*CSC: generatore di nomi? Chiedere il nome? *)
+let fresh_name =
+ let next_fresh_index = ref 0 in
+ function
+ Cic.Anonymous ->
+ incr next_fresh_index ;
+ "fresh_name" ^ string_of_int !next_fresh_index
+ | Cic.Name name ->
+ incr next_fresh_index ;
+ name ^ string_of_int !next_fresh_index
+