test_name	 scoop-separate-instruction-fresh-id
test_description Names used for arguments of an inline separate instruction should be fresh.

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

compile_melted
compile_result validity_error TEST FRESH_IDENTIFIER:27 FRESH_IDENTIFIER:28 FRESH_IDENTIFIER:29 FRESH_IDENTIFIER:34 FRESH_IDENTIFIER:35 FRESH_IDENTIFIER:39 FRESH_IDENTIFIER:44 FRESH_IDENTIFIER:47 FRESH_IDENTIFIER:49 VPIR(1):56 VPIR(1):61 VUOT(1):64 VOIT(2):65

test_end