Haskell Bounded Model Checker