(module Why3_xml)