We have a few opportunities to increase code coverage of asserts and precondition failures with exit tests, but they aren't supported yet.