+ (* fill the new env *)
+ let _ = NCicEnvironment.get_obj (NUri.nuri_of_ouri u) in
+ prerr_endline "OGGETTI:.........................................";
+ List.iter (fun o -> prerr_endline (NCicPp.ppobj o)) l;
+ prerr_endline "/OGGETTI:.........................................";