test_name 	 multi-constraint-constrained-twice
test_description A formal is constrained twiece by the same class (TEST2). This leads to bugs in the feautre selection: No errors are reported even though there should be errors.

copy_raw	test2.e $CLUSTER test2.e
copy_raw	test1.e $CLUSTER test1.e
copy_raw	test.e $CLUSTER test.e
copy_sub	Ace $TEST Ace

compile_melted
compile_result	validity_error TEST1 VTMC(2) VTMC(2) VTMC(2)

test_end