Beim Konvertieren muss man halt genau wissen, an welchen Stellen denn nun das Präfix hin muss und wo nicht. Aber das entspricht ja eben genau der Kenntnis, welche Identifier zu dem with gehören, und die muss man ja eh haben, um den Code zu verstehen.
Die Kenntnis hat doch der Compiler/Parser - das ist doch der Sinn eines solchen with-Entfernungstools. Oder versteh ich dich jetzt falsch?