[ref_impl_eiffel] [721] Further refinements to the validation code.

Revision: 721
Author: thomas.beale

Log Message: