This function creates a new constrained integer expression equal to the number of different values assigned to the variables in x.
x