该函数返回一个约束条件，规定只要区间变量 "a出现，就必须在序列变量 "seq中排在最后。

注意：逻辑约束中不能使用此约束。

有关区间变量排序的更多信息，请参阅CP 优化器中的区间变量排序概念。