Added property verify test.