test_name 	 attribute-in-inherited-assertion
test_description Correct code should be generated for an inherited assertion that has a function redeclared into attribute.

copy_sub	Ace $TEST Ace
copy_raw	parent.e $CLUSTER parent.e
copy_raw	test.e   $CLUSTER test.e

compile_melted
compile_result 	ok
execute_work	NONE exec_output
execute_result	ok
compare		exec_output output

test_end