It is not reproducible anymore in recent releases with -verbose option. It should be the changes made in the Eiffelbase that increase/decrease number of unreachable features. I leave it suspended until we have some review work in this area.