# Validity VFAV-2

This [test](.) is exercising the condition [2](../Readme.md) of the validity rule [VFAV](../../vfav/Readme.md).

### Description

In this test, the procedure `f` with alias name `alias "[]"` is not a query with at least one argument. This violates `VFAV-2`.
