add specs for testing generating properties