[ref_impl_eiffel] [340] AWB-13: Fix a void target reference, caused by a creation routine not satisfying an invariant.

Revision: 340
Author: peter.gummer

Log Message: