该函数创建并返回一个新的受约束整数表达式，该表达式等于分配给 "exprs中变量的不同值的个数。