I've got that postcondition again. Would be nice to have it fixed. In my case, the error list is in auto-hide mode at the bottom of EiffelStudio.