> No, it really isn't unsolvable. I was talking about some specific cases - e.g. rename is unsolvable for some languages with macros (like Rust, in the linked

> No, it really isn't unsolvable. I was talking about some specific cases - e.g. rename is unsolvable for some languages with macros (like Rust, in the linked article). Of course, DION solves that by going from opposite direction, which I think is the key (also got a lot inspired about this from their demo)