more test cases for PropertyTest.