That was a super interesting link, thank you. For the ontological problem, I presume you're referring to how there are so many differing ideas of how to repres

That was a super interesting link, thank you. For the ontological problem, I presume you're referring to how there are so many differing ideas of how to represent ASTs (apologies for mixing languages, these URLs were just handy): * https://lisperator.net/uglifyjs/ast#nodes https://lisperator.net/uglifyjs/ast#nodes * https://github.com/estree/estree#the-estree-spec https://github.com/estree/estree#the-estree-spec * ... likely others which makes it hard for ls1 to ask ls2 about "the for-of iteration variable Node" because ls2 could be using UglifyJS or ESTree or their own(!) AST nomenclature? And all of this is made worse by (e.g.) Java1.3 versus Java19 because languages are rarely static