add property tests