Fixed in rev#98186 of EiffelStudio 15.11 intermediate release (assertion-enabled version).