Yes, good point -- aliases makes parse time depend on runtime. That is mentioned in

Morbig: A static parser for POSIX shell - https://scholar.google.com/scholar?cluster=15754961728999604...

(at the time I wrote the post about bash, I hadn't implemented aliases yet)

But it's a little different since it is an intentional feature, not an acccident. It's designed to literally reinvoke the parser at runtime. I think it's not that good/useful a feature, and I tend to avoid it, but many people use it.