lingo 关于变量是否能定义集合(矩形形状约束)