test_name 	 is-less-equal-postcondition-violation-2	
test_description A set of classes crashes an assertion-enabled compiler with a postcondition violation on {BOOLEAN_DESC}.is_less_equal.

copy_sub	Ace $TEST Ace
copy_raw	test.e $CLUSTER test.e
copy_raw	test2.e $CLUSTER test2.e
copy_raw	test3.e $CLUSTER test3.e
copy_raw	test4.e $CLUSTER test4.e
copy_raw	test5.e $CLUSTER test5.e
copy_raw	parent.e $CLUSTER parent.e

compile_melted
compile_result	ok

test_end