Added static constraints to be debugged