test_name 	inline-agents-reordering
test_description to come

define MELT1 1
define MELT2 1
define MELT3 1
define MELT4 1
define MELT5 1
define MELT6 1
define MELT7 1
define MELT8 1
define MELT9 1
define MELT10 1
define MELT11 1
define MELT12 1
define MELT13 1
define MELT14 1
define MELT15 1
define MELT16 1
define MELT17 1
define MELT18 1

define PRECOND true
define INVARIANT true

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

compile_melted
compile_result 	ok

c_compile_work
c_compile_result ok

execute_work NONE output_1
execute_result ok

-- Step 1

define MELT9 2
define MELT10 2

copy_sub 	test.e $CLUSTER test.e
compile_melted
compile_result 	ok
execute_work NONE output_2
execute_result ok

-- Step 2

define MELT11 2

copy_sub 	test.e $CLUSTER test.e
compile_melted
compile_result 	ok
execute_work NONE output_3
execute_result ok

-- Step 3
define MELT12 2

copy_sub 	test.e $CLUSTER test.e
compile_melted
compile_result 	ok
execute_work NONE output_4
execute_result ok

-------------------

compile_frozen
compile_result 	ok

c_compile_work
c_compile_result ok

execute_work NONE output_5
execute_result ok

-------------------

define MELT13 3

copy_sub 	test.e $CLUSTER test.e
compile_melted
compile_result 	ok
execute_work NONE output_6
execute_result ok

compile_final_keep
compile_result ok

c_compile_final
c_compile_result ok

execute_final NONE output_7
execute_result ok

test_end