[ref_impl_eiffel] [399] Effect a couple of routines that were inherited deferred, preventing a class from compiling.

Revision: 399
Author: peter.gummer

Log Message: