Add property tests