[ref_impl_eiffel] [873] Initial working version of 'has_path' fnction for Basic meta-model - checks if a path can exist in reference model, taking into account any possible object structure, including dynamic attachment of subtypes.

Revision: 873
Author: thomas.beale

Log Message: