[ref_impl_eiffel] [792] Various improvements and changes to RM checker:

Revision: 792
Author: thomas.beale

Log Message: