[ref_impl_eiffel] [1202] Minor corrections to logic of regression checking.

Revision: 1202
Author: thomas.beale
Log Message: