data/haskell-smtlib-1.1/src/SMTLib1/QF_AUFBV.hs:6: widht ==> width
data/haskell-smtlib-1.1/src/SMTLib2/Compat1.hs:75: te ==> the, be, we
data/haskell-smtlib-1.1/src/SMTLib2/Compat1.hs:76: te ==> the, be, we