Make DomainValidator validates all imported error contracts
The errors come from the use in the R&D backend: It is not obvious for the user to build the absSet with all the contracts that should be validated. Moreover, it should not be dependent on the user's choice, since the metamodel should be the one enforcing those contracts.
The Validator may still ignore contracts that are used in requirements, even though there should be none anyway.
Edited by Maxime Audinot