sbool addUnlessEmpty(Cl<S> l, S s) {
  ret nempty(s) && l.add(s);
}