at.logic.gapt.formats.xml.XMLParser
All concrete parsers for CERES XML elements will implement this trait
All concrete parsers for CERES XML elements will implement this trait