[ref_impl_eiffel] [879] Various validation improvements:

Revision: 879
Author: thomas.beale

Log Message: