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