# Semantics M9AS

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

### Description

In this test, feature `f` of class `AA` contains a separate call to the feature `g` of class `BB`. The target of the separate call is not in the current SCOOP region and `g` is a procedure with one separate argument. So the separate call is executed asynchronously because the actual argument is `Void` (so it's not an object in a locked region). The execution of `f` continues without waiting for the separate call to complete.
