Optimized code. Moved most of the SMTLIBCode to the new Code Generator class.
Annotationhandler is able to parse additional datatypes