It would have been relatively easy to do such a thing if we had a correct pretty printer for trees (that preferably doesn't change original formatting). I've heard that someone is working on this at EPFL but haven't seen any results so far.