This function adds an exclusion of presence between the two instances of IlcIntervalVar, x1 and x2. The exclusion states that if x1 (resp. x2) is present then x2 (resp. x1) is absent. This function is intended for propagating incompatibilities of presence between two intervals.