There are unreferenced local variables in EiffelBase classes.
They need to be removed.

Discovered in Release 5.0.016.