[ref_impl_eiffel] [728] Small improvements in coding of path logic and ARCHETYPE_CONSTRAINT.safe_deep_twin.

Revision: 728
Author: thomas.beale

Log Message: