[ref_impl_eiffel] [783] EDT-458: In BRANCHES/specialisation, reinstate most of the changes originally done in revision 759, which were reverted in revision 780 due to their performance impact when assertions are enabled.

Revision: 783
Author: peter.gummer

Log Message: