test suite: quickcheck property for a more complex client function