added property tests