This milestone corresponds to inserting a system for defining and processing constraints. The latter either are binary relations between a feature and a value or are logical composition of constraints. It requires to check that embedded features of constraints has the same mode.