Module CheckSMT

Summary of exported operations:

checkNonFailFunc
                  ::  String -> Term -> Term -> Term -> StateT TransState (StateT VState IO) (Maybe Bool)

checkPreCon
                  ::  String -> Term -> Term -> Term -> String -> [Int] -> StateT TransState (StateT VState IO) (Maybe Bool)

checkPostCon
                  ::  String -> Term -> Term -> Term -> StateT TransState (StateT VState IO) (Maybe String)

checkPreCon :: String -> Term -> Term -> Term -> String -> [Int] -> StateT TransState (StateT VState IO) (Maybe Bool)