Added simple QuickCheck test for the session.