This bug should be fixed in Eiffel Studio intermediate releases after revision#80771. I added two if protections against destroyed and void objects.

Thanks for your report.