[ref_impl_eiffel] [486] AWB-13: Fix an infinite loop, caused by revision 394.

Revision: 486
Author: peter.gummer

Log Message: