sbool eqicOrSwicPlusSpace(S a, S b) {
  ret swic(a, b) && (l(a) == l(b) || a.charAt(l(b)) == ' ');
}