[ref_impl_eiffel] [343] Fix a void reference exception, triggered by an empty term_definitions list like this:

Revision: 343
Author: peter.gummer

Log Message: