# Semantics MOLO

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

### Description

In this test, we compare the execution of a *Loop* with an *Iteration* of the form `∃ x: iterable ¦ expression` with the execution of its unfolded form.

