On peut ajouter simplement un champ aux instructions de type Oper, de type (temp * temp list) list représentant des ensembles de contraintes entre un registre particulier et un ensemble de registres. i.e. avoir
   type Oper = 
       ...
     | Oper of string * temp list * temp list * label list option
            * (temp * temp list) list
   
La seule autre modification à effectuer est de bien prendre en compte ces contraintes lors de la création du graphe d'interférence pour ajouter le sous graphe {t} × q pour chaque contrainte (t, q) Î c de chaque noeud Oper(i, s, d, l, c).