Added unit test for Gen.forAll