test_name multi-constraint-alias
test_description A class with a multiple constraint using infix/prefix routines causes the compiler to report an error when non is expected, or to report the wrong one.

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
copy_raw 	c.e $CLUSTER c.e
copy_raw 	d.e $CLUSTER d.e


compile_melted
compile_result validity_error B VTMC(2) VTMC(2) VTMC(2) VTMC(2) VTMC(2) VTMC(2)

copy_raw	b_rev1.e $CLUSTER b.e

resume_compile
compile_result ok

test_end