This function adds an exclusive disjunction of presence between the two instances of IlcIntervalVar, x1 and x2. 排他性析取说的是，两个区间中只有一个区间存在，另一个区间不存在。 该函数用于判断两个区间的相对存在性。