# Semantics MBAS

This [test](.) is exercising the semantics rule [MBAS](../Readme.md).

### Description

In this test, the source of the assignment is Void. After the assignment the target is Void as well. This test satisfies `MBAS`.
