There is something like this already and it is quite good. It is used for deobfuscating javascript [0][1].

[0] https://www.sri.inf.ethz.ch/research/plml [1] http://jsnice.org/