[ref_impl_eiffel] [842] Correct various errors in the RM checking.

Revision: 842
Author: thomas.beale

Log Message: