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