Isn't the problem always reference counting vs. tracing gc, though?

Yes, you have to choose between deterministic destruction or garbage collection.

Languages with garbage collection usually provide a with construction (that I think comes from LISP).

Nowadays it seems that everybody (or at least, most language designers) admits that having a proper garbage collector is something so good that it well worths the trouble of requiring those with guards.