test_name recheck-assertion-feature-renamed
test_description Special case where reevaluation of inherited postcondition failed because a feature could not be found as it is renamed.
copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	a.e $CLUSTER a.e
copy_raw 	aa.e $CLUSTER aa.e
copy_raw 	b.e $CLUSTER b.e
copy_raw 	bb.e $CLUSTER bb.e

compile_melted
compile_result 	ok

test_end