Integrate a standard way to add constraints on the system.

[leclere]

• comprehension vs given as vector
• not working with EF

[leclere]

Bug with constraint not checked in x_{t+1}