[ref_impl_eiffel] [1672] Finalise removal of most uses of 'terminologies_available' which is a renundant ADL 1.4-ism.

Revision: 1672
Author: thomas.beale
Log Message: