sbool eqic_roundBracketed(S a, S b) {
  ret eqic_roundBracketed_oneWay(a, b)
    || eqic_roundBracketed_oneWay(b, a);
}

sbool eqic_roundBracketed_oneWay(S a, S b) {
  ret l(a) == l(b)+2 && eqic(a, "(" + b + ")");
}