The error is not reported by EiffelStudio 18.07. Closing the report.