Refactored heavily the data state constraints. They are not global anymore!
Also refactored zephyrus.ml and some other stuff.
Note 1: By accident turned on the variable bounds... Apparently it was not really turned on before!... An discovered that it does not work properly! So turned it off deliberately.
Note: There is a problem with some parts of the validation (conflicts), need to check it thorougly and fix all the probems.