Added test suite with Arbitrary examples