[ref_impl_eiffel] [804] Correct bugs in test routines identified by Peter Gummer - make test_diff work properly.

Revision: 804
Author: thomas.beale

Log Message: