PR# 19889 Branch of inherited post-condition is ignored on joined feature

A feature is the join of two inherited features, one of them via renaming. The post-condition inherited from the renamed feature is ignored altogether.

- Open and compile the (attached) .\main\st_implementation\st_implementation.ecf project, target st_implementation_tests.
- Target the Feature tool to {SET_OF_REFERENCES_TESTS_DSCR}.some_immediate_set_of_references_dscr. Please note that the clause

		ensure -- from SET_TESTS
			monomorphic: Result.generating_type ~ {detachable like some_immediate_set_of_references_dscr}

doesn't even have a circle on the left edge to allow setting a breakpoint.

- In the Feature tool, toggle the breakpoint at the line
				Result := cropped_set (s) 
on.
- Target AutoTest to class:SET_OF_REFERENCES_TESTS_DSCR/.*test_is_empty.
- Click the button "Debug filtered tests".
- When the execution stops at the breakpoint, please note that a step-by-step execution (via F10) ignores the

		ensure -- from SET_TESTS
			monomorphic: Result.generating_type ~ {detachable like some_immediate_set_of_references_dscr}

clause.

We have been able to reproduce, it has nothing to do with precompiled library.

Indeed we can see

		ensure -- from SET_TESTS
			monomorphic: Result.generating_type ~ {detachable like some_immediate_set_of_references_dscr}
		ensure -- from ELEMENT_TESTS
O			monomorphic: Result.generating_type ~ {detachable SET [detachable separate CHARACTER_8_REF, REFERENCE_EQUALITY [detachable separate CHARACTER_8_REF]]}
O		end

Could you tried without the precompile library?

Attachments for problem report #19889