add notion of Contracts in the metamodel and the textual editor
add abstract class Guard as parent for Contract and GuardedAction
Closes #150 (closed)
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
add abstract class Guard as parent for Contract and GuardedAction
Closes #150 (closed)