This function adds a conjunction of presence between the two instances of IlcIntervalVar, x1 and x2. The conjunction states both intervals are simultaneously present or absent. This function is intended for decisions about the relative presence of two intervals.