models14: Integrate EMFtoCSP to check constraint consistency

* Brutal for now, but working for the main use case