test_name 	 detaching-attached-variable-in-loop
test_description Variable considered attached before a loop because of a CAP should not be considered attached if it is detached in the loop body.

copy_sub	Ace $TEST Ace

define	VOID	"Void"
copy_sub	test.e $CLUSTER test.e

compile_melted
compile_result	validity_error TEST VUTA(2) VUTA(2) VUTA(2) VUTA(2)

define	VOID	"s.out"
copy_sub	test.e $CLUSTER test.e

resume_compile
compile_result	ok

test_end