Separated assertions into different property test cases