sbool intRangesOverlapNempty(IntRange a, IntRange b) {
  ret nempty(intersectIntRanges(a, b));
}