test_name 	name-renaming-with-inline-agent-assertion
test_description An inherited assertion contains an inline agent that accesses a renamed feature.

copy_sub 	Ace $TEST Ace
copy_raw	test.e $CLUSTER test.e
copy_raw 	a.e $CLUSTER a.e
copy_raw	b.e $CLUSTER b.e

compile_melted
compile_result 	ok

test_end