[ref_impl_eiffel] [826] Correct a bug that caused a Void reference violation for a C_ATTRIBUTE that should have been declared with a cardinality but wasn't

Revision: 826
Author: thomas.beale

Log Message: