test_name wiping-out-types
test_description After finalizing a system a new type is introduced, but it causes a precondition violation in the compiler.

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

compile_final
compile_result 	ok

copy_raw	test_rev1.e $CLUSTER test.e
copy_raw 	test2.e $CLUSTER test2.e

compile_melted
compile_result 	ok

test_end