EXPRESS_ — Correct model of AliasStatement and AliasVariable

In 13.3.1, AliasStatement, the text says the ALIAS statement binds the AliasVariable to a VARExpression called the "referent", but neither the diagram nor the documented associations relate a VARExpression to the AliasStatement. 13.3.2 shows the referent VARExpression as an attribute of AliasVariable. This association should certainly appear in the diagram in Figure 44. But the actual referent of the AliasVariable at any given time is what the VARExpression evaluates to when the AliasStatement is executed. The referent VARExpression should be associated with the AliasStatement, not with the AliasVariable. That other Variables have runtime values is a fact that does not seem to have an image in the metamodel (e.g., Variable does not have a current-value association); so the fact that an AliasVariable has a runtime referent should not have such a model, either.

The argument is correct. The “referent” expression should be associated with the AliasStatement, not with the AliasVariable.
When correcting Figure 44, also correct the missing Composites for alias-binds-variable and alias-has-body.