[ref_impl_eiffel] [816] Correct approach to doing RM validation so that unknown class nodes are not descended into

Revision: 816
Author: thomas.beale

Log Message: