sbool subListEqualsIC(LS l, LS pat, int i) {
  int j = i+l(pat);
  if (j > l(l)) false;
  for (int k = i; k < j; k++)
    if (neqic(l.get(k), pat.get(k-i)))
      false;
  true;
}