That does not answer my confusion, especially when static analysis could reveal the same conclusion with that language. It's not clear what role ai played at all.

It seems pretty clear when you follow the link?

https://juxt.github.io/allium/