They don't avoid undecidability, or else we wouldn't have alias set 0.
If we could determine what everything aliases, we wouldn't need a set
that aliases everything.
I didn't say they *avoid* undecidability, just avoid the undecidability
*problem* by separating static language semantics from all other aspects
of alising.