test_name 	non-conforming-remove-precondition
test_description After initial compilation of a system using non-conforming inheritance, a precondition is removed.  The compiler crashes when the system is recompiled.

define		PRECONDITION "require good: attached {TEST2} Current as x"
copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	test1.e $CLUSTER test1.e
copy_sub 	test2.e $CLUSTER test2.e
compile_melted
compile_result 	ok

define		PRECONDITION ""
copy_sub 	test2.e $CLUSTER test2.e
compile_melted
compile_result 	ok

test_end