sbool eqicCollapsed(S a, S b) {
  ret eqic(collapseString(a), collapseString(b));
}