QuickCheck-2.5: Automatic testing of Haskell programs