Property based testing sample using scala