SMTLib2 interface implementation for Haskell