This function adds a precedence between the two instances of IlcIntervalVar, x1 and x2. The precedence states that whenever both interval variables x1 and x2 are present, the distance start(x2)-end(x1) between the start of interval x2 and the end of interval x1 must be greater than or equal to the integer argument z. This function is intended for making binary decisions relative to the two intervals.