int lcp(int i, int j) {
  assert(i != j);
  if((i = rk[i]) > (j = rk[j])) swap(i, j);
  int d = lg[j - i++];
  return min(mi[d][i], mi[d][j - (1 << d) + 1]);
}

这个assert是啥意思？