sbool cic_underCollapse(S a, S b) {
  ret cic(collapse(a), collapse(b));
}