Make sure all the variables are assigned colors (if we don't do this, the domain of all variables is too large).