sbool eqOrEqic_gen(O a, O b) {
  ret eq(a, b) || eqic_gen(a, b);
}