Compute the constraints for global live range splitting from an interference pattern.