Added more property tests