Minor fixes to CVC printer.
Improve error in CVC parser in presence of unrecognized command name.
Fix output of integer-valued real constants in SMT-LIB models (thanks Christoph Sticksel for reporting).