static <A, B extends IF0<A>> Set<A> getVarsToSet(Iterable<B> l) {
  ret mapToSet getVar(l);
}