Setup property based tests with proper