# Semantics MUGC-5

This [test](.) is exercising the step [`5`](../Readme.md) of the semantics rule [`MUGC`](../../mugc/Readme.md).

### Description

In this test, the actual argument is Void. After the attachment the formal argument is Void as well. This test satisfies `MUGC-5`.
