# Semantics MVOL

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

### Description

In this test, we have an object-test `attached {CC} b as a` where the local variable `b` is attached to an object of reference type `CC`. After the attachment `a` is attached to the same object as `b`. This test satisfies `MVOL`.
