Refactoring To Property Based Tests In Java