[ref_impl_eiffel] [1650] commit after merge with 1601-1647 of adl 1.5

Revision: 1650
Author: seref.arikan
Log Message: