def constraint_unique(x):
    n1 = x.size
    n2 = np.unique(to_int(x)).size
    return n1 - n2
# if constraint_unique(x) == 0, test passed