test_name	 scoop-separate-formal
test_description Separateness status of a formal should be taken into account when checking for conformance.

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

compile_frozen
compile_result validity_error A VJAR VJAR VJAR VJAR VJAR VJAR VJAR; TEST VUAR(2) VUAR(2)

test_end