[ref_impl_eiffel] [995] Remove an invariant that was failing.

Revision: 995
Author: peter.gummer
Log Message: