if not (eNumber = _AbortedAssertionError and eFrom is _AbortedAssertionToken) then -- check if failure was already reported, and this is the subsequent abort, in which case ignore; if not, it's an error in either the test_NAME handler or the code being tested, so report it