Reverse engineering d'une règle de gestion de contrainte

Lors du reverse engineering, l'ordre des contraintes est pris en compte :