Stop trying to test precondition failure at the first failure