test_name multi-constraint-is-inherited
test_description Special case where reevaluation of inherited postcondition failed because a feature could not be found as it is renamed. This test is similar to test#valid204 except that it uses multi constraint formals.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	x1.e $CLUSTER x1.e
copy_raw 	x2.e $CLUSTER x2.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