[dmortin]

Yes, but semantic understanding is not really complicated for rename variable, for example, so it's strange there is no library which can do that.