To be developed: - [ ] Inheritance - [ ] Multiple Propagation Constraints - [ ] ...
To be developed: