let pres = Content2pres.content2pres ~ids_to_inner_sorts cobj in
let time2 = Sys.time () in
(* prerr_endline ("Fine trasformazione:" ^ (string_of_float (time2 -. time1))); *)
let xmlpres = Mpresentation.print_mpres pres in
let time25 = Sys.time () in
let pres = Content2pres.content2pres ~ids_to_inner_sorts cobj in
let time2 = Sys.time () in
(* prerr_endline ("Fine trasformazione:" ^ (string_of_float (time2 -. time1))); *)
let xmlpres = Mpresentation.print_mpres pres in
let time25 = Sys.time () in