test_name multi-constraint-creation-through-formal
test_description This test checks whether it's possible to reference a creation procedure transparently through a formal.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	multi.e $CLUSTER multi.e
copy_raw 	multi2.e $CLUSTER multi2.e


compile_melted
compile_result ok

test_end