This function adds a disjunction of presence between the two instances of IlcIntervalVar, x1 and x2. 析取表示至少存在 "x1"或 "x2"。