sbool eqicOrLeftIsStar(S a, S b) {
  ret eqic(a, b) || eq(a, "*");
}