# Validity VKEX-4G

This [test](.) is exercising the condition [4G](../Readme.md) of the validity rule [VKEX](../../vkex/Readme.md).

### Description

In this test, there is a creation expression whose creation type is separate. The region `<NONE>` indicates that the SCOOP region created will be a passive region. In this test `VKEX-4G` is not violated because `<NONE>` is a valid region specifier.
