How is that meant, the example adds a property node? Do you mean the originally violated constraint is on the class-level? Maybe we should the constraints to the example model.