data/haskell-simple-smt-0.9.5/SimpleSMT.hs:511: Exptected ==> Expected data/haskell-simple-smt-0.9.5/SimpleSMT.hs:529: ans ==> and data/haskell-simple-smt-0.9.5/SimpleSMT.hs:530: ans ==> and data/haskell-simple-smt-0.9.5/SimpleSMT.hs:814: conjuction ==> conjunction