Current restrictions of the SMT-LIB 2 converter: * No good information is given about the location of parse or type errors. * Annotations are currently just ignored. - 2009-08-24