Added test#free025. Fixed in rev#102586 of EiffelStudio 19.05 intermediate release.