test_name 	 agent-in-postcondition
test_description Processing a routine that calls precursor, where the precursor has an agent call in the postcondition, crashes a compiler that monitors postconditions with violation of postcondition `only_if_in_index_set' of {HASH_TABLE}.valid_iteration_index

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

compile_melted
compile_result	ok

test_end