The test passes in rev#83757 of EiffelStudio 6.7 intermediate release.