sbool eqAndNempty(S a, S b) {
  ret eq(a, b) && nempty(a);
}