sbool swic_notSame(S a, S b, Matches m default null) {
  ret l(a) > l(b) && swic(a, b, m);
}