Language.SMTLib2.Connection
data SMTConnection b
open
close
withConnection
performSMT
performSMTExitCleanly