(* given the filename of an xml file of a cic object, it returns
* its internal annotated representation. In the case of constants (whose
* type is splitted from the body), a second xml file (for the body) must be
(* given the filename of an xml file of a cic object, it returns
* its internal annotated representation. In the case of constants (whose
* type is splitted from the body), a second xml file (for the body) must be