test_name	feature_b-process-crash
test_description A class inherits from a fully deferred class and effects both a routine and a deferred precondition of that routine.  After initial compilation, the inheritance clause is removed.  This causes the compiler to crash with a call on Void target in {FEATURE_B}.process

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	child.e $CLUSTER child.e 
copy_raw 	parent.e $CLUSTER parent.e 

compile_melted
compile_result 	ok

copy_raw	parent_rev2.e $CLUSTER parent.e 
compile_melted
compile_result 	ok

test_end