This function adds an exclusive disjunction of presence between the two instances of IlcIntervalVar, x1 and x2. The exclusive disjunction states that exactly one and only one of the two intervals is present, the other being absent. This function is intended for decision about relative presence of two intervals.