# Validity VUTA-4G

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

### Description

In this test, there is a call `x.f` where `x` is a separate argument of a separate instruction. In this test `VUTA-4G` is not violated because `x` is controlled.
