TEST_EXCEPTION now checks for exact exception type