ALF_ — SequenceOperationExpression Constraints

Subclause: 13.2.50 SequenceOperationExpression

• SequenceOperationExpression needs a constraint that a name may not be assigned in both the primary expression and any tuple argument expression.

• SequenceOperationExpression should have a derived association with an optional LeftHandSide that is created in the case of an “in place” operation and must have its constraints satisfied. The sequenceOperationExpressionTargetCompatibility constraint should also require that, for an “in place” operation, the primary expression have the form of a left-hand side and, if for a local name, the local name must already exist.

agreed