Add property tests.