no coverage for assertions that hopefully never happen