Thank you for the report, this issue is now fixed and the correction will be available in next release.

In the meantime, it should be safe to replace $ISE_EIFFEL/library/testing/eqa_extracted_test_set.e by
https://github.com/EiffelSoftware/libraries/blob/master/Src/library/testing/eqa_extracted_test_set.e