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