[ref_impl_eiffel] [840] Correct differential path analysis and generation - replaced the ARCHETYPE_CONSTRAINT.is_congruent notion by a slightly different one - is_mergeable, which means that the node should be overlaid piecemeal rather than used as a tota

Revision: 840
Author: thomas.beale

Log Message: