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