sbool <A> emptyOrContains(Collection<A> c, A o) {
  ret empty(c) || c.contains(o);
}