[ref_impl_eiffel] [1012] Fix two unit tests that were failing because a precondition was failing.

Revision: 1012
Author: peter.gummer
Log Message: