Updating Smart Cradle Auto Tests for property tests