Added property-based testing (test.check)