UML24 — Wrong constraint on Operation::bodyCondition

The spec says:

bodyCondition: Constraint[0..1]
An optional Constraint on the result values of an invocation of this Operation. Subsets Namespace::ownedRule

couple this with:

The bodyCondition for an operation constrains the return result. The bodyCondition differs from postconditions in that
the bodyCondition may be overridden when an operation is redefined, whereas postconditions can only be added during
redefinition.

Also, in the current MM, the defined operations logic is implemented as a body Condition.

Therefore, the bodyCondition is not an invariant, but rather a condition that describes the return result. of an operation

Since a non-query operation can also have a return result, I see no reason to prevent a body condition on it.

Merged with 15501