[ref_impl_eiffel] [1847] Make BMM_CLASS_DEFINITION. supplier_closure compute on flat properties, not local properties, to get full closure list.

Revision: 1847
Author: thomas.beale
Log Message: