Removed some hacks.
Changed the name of the generated SMTLib file...

...to make it possible to see where it was coming from.
Use names that are valid in SMTLib.
;; is not used anywhere else, so I removed it here.